remove dependency on session.php in db-prefs

diff --git a/db-prefs.php b/db-prefs.php
index 8714e340cafd0688ef8ab2941c9a101bf9ad5326..0309f00a09c7d77382798d9fb176112a0970b979 100644 (file)
--- a/db-prefs.php
+++ b/db-prefs.php
@@ -3,8 +3,6 @@
        require_once "db.php";
 
        if (! DISABLE_SESSIONS) {       
-               require_once "sessions.php";
-       
                if (!$_SESSION["prefs_cache"])
                        $_SESSION["prefs_cache"] = array();
        }