-
-# setcookie("username", "", time(), "/");
-# setcookie("key", "", time(), "/");
-# setcookie("logged_in", 0, time(), "/");
+
+ if (!isset($config_php))
+ include("../config/config.php");
+ if (!isset($i18n_php))
+ include("../functions/i18n.php");
+ if (!isset($prefs_php))
+ include ("../functions/prefs.php");
+ if (!isset($plugin_php))
+ include ("../functions/plugin.php");
+
+ set_up_language(getPref($data_dir, $username, "language"));
+
+ do_hook("logout");
+ setcookie("username", "", 0, $base_uri);
+ setcookie("key", "", 0, $base_uri);
+ setcookie("logged_in", "", 0, $base_uri);
+ session_destroy();