--- tokenauth.module    2009-06-19 19:20:21.000000000 -0400
+++ tokenauth.module.new        2009-06-19 19:23:00.000000000 -0400
@@ -229,8 +229,7 @@ function tokenauth_init() {
  */
 function tokenauth_exit() {
   if (isset($_SESSION['tokenauth_auth'])) {
-    unset($_COOKIE[session_name()]);
-    $_SESSION = array();
+    session_destroy();
   }
 }