[Bug 4035] Can't logout from a Drupal session

[Oscar]

Public bug report changed:
https://launchpad.net/malone/bugs/4035

Comment:
This is the very trivial patch. I made it myself but it appears to work
so do with it what you wish.

--- /usr/share/drupal/includes/session.inc      2006-03-03 20:21:49.000000000 +0100
+++ /usr/share/drupal/includes/session.inc.orig 2006-03-03 20:21:19.000000000 +0100
@@ -51,7 +51,7 @@
 }

 function sess_destroy($key) {
-  db_query("DELETE FROM {sessions} WHERE sid = '%s'", $key);
+  db_query("DELETE FROM {sessions} WHERE sid = '%d'", $key);
 }

 function sess_gc($lifetime) {