use a custom session ID

diff --git a/libraries/lib.inc.php b/libraries/lib.inc.php
index b9fa5ef69a2e32d2624ec5a8cded5078ab50d059..72db96ce0d5691d706870ce082ff4f0d72cc0277 100644 (file)
--- a/libraries/lib.inc.php
+++ b/libraries/lib.inc.php
@@ -3,7 +3,7 @@
        /**
         * Function library read in upon startup
         *
-        * $Id: lib.inc.php,v 1.57 2003/09/02 04:15:08 chriskl Exp $
+        * $Id: lib.inc.php,v 1.58 2003/09/08 04:37:16 chriskl Exp $
         */
        
        // Set error reporting level to max
@@ -72,7 +72,8 @@
        $misc = new Misc();
 
        // Start session (if not auto-started)
-       if (!ini_get('session.auto_start')) session_start();
+       session_name('PPA_ID'); 
+       session_start();
 
        // Do basic PHP configuration checks
        if (ini_get('magic_quotes_gpc')) {

diff --git a/logout.php b/logout.php
index 59786a5a4d603fe2dc230c6695b3f5cd0146034d..0c52ed2d4aad9b5183c49e8182336f193e091dbd 100644 (file)
--- a/logout.php
+++ b/logout.php
@@ -3,9 +3,10 @@
 /**
  * Logs a user out of the app
  *
- * $Id: logout.php,v 1.1 2003/01/18 06:38:36 chriskl Exp $
+ * $Id: logout.php,v 1.2 2003/09/08 04:37:16 chriskl Exp $
  */
 
+session_name('PPA_ID');
 session_start();
 unset($_SESSION);
 session_destroy();