diff --git a/html/logout.php b/html/logout.php
index 5421e0e17254d115b72dd9acf360935c122d7e8c..b6d4b5531d8ee8e2e51a12d743077de670f73d2c 100644 (file)
--- a/html/logout.php
+++ b/html/logout.php
require_once ("../include/php_setup.inc");
require_once ("functions.inc");
header("Content-type: text/html; charset=UTF-8");
-get_dir_list("$BASE_DIR/plugins");
/* try to start session, so we can remove userlocks,
if the old session is still available */