Another small bug fix.

git-svn-id: svn://svn.code.sf.net/p/intdb/svn/trunk@400 2b68903e-0b30-0410-9a39-a2e4f3c5be39

diff --git a/inc/versioninfo.php b/inc/versioninfo.php
index 188784a..22ee6d9 100644 (file)
--- a/inc/versioninfo.php
+++ b/inc/versioninfo.php
@@ -11,7 +11,7 @@
     Copyright 2004-2009 iDB Support - http://idb.berlios.de/
     Copyright 2004-2009 Game Maker 2k - http://gamemaker2k.org/
 
-    $FileInfo: versioninfo.php - Last Update: 12/12/2009 SVN 399 - Author: cooldude2k $
+    $FileInfo: versioninfo.php - Last Update: 12/12/2009 SVN 400 - Author: cooldude2k $
 */
 $File3Name = basename($_SERVER['SCRIPT_NAME']);
 if ($File3Name=="versioninfo.php"||$File3Name=="/versioninfo.php") {
@@ -27,7 +27,7 @@ function version_info($proname,$subver,$ver,$supver,$reltype,$svnver,$showsvn) {
        return $return_var; }
 // Version number and date stuff. :P
 $VER1[0] = 0; $VER1[1] = 3; $VER1[2] = 4; $VERFull[1] = $VER1[0].".".$VER1[1].".".$VER1[2];
-$VER2[0] = "Alpha"; $VER2[1] = "Al"; $VER2[2] = "SVN"; $SubVerN = 399; $RName = "iDB"; $SFName = "IntDB";
+$VER2[0] = "Alpha"; $VER2[1] = "Al"; $VER2[2] = "SVN"; $SubVerN = 400; $RName = "iDB"; $SFName = "IntDB";
 $SVNDay[0] = 12; $SVNDay[1] = 12; $SVNDay[2] = 2009; $SVNDay[3] = $SVNDay[0]."/".$SVNDay[1]."/".$SVNDay[2];
 $VerInfo['iDB_Ver'] = version_info($RName,$VER1[0],$VER1[1],$VER1[2],$VER2[1],$SubVerN,false);
 $VerInfo['iDB_Ver_SVN'] = version_info($RName,$VER1[0],$VER1[1],$VER1[2],$VER2[1],$SubVerN,true);

diff --git a/preindex.php b/preindex.php
index 2d7a6c4..3c0d192 100644 (file)
--- a/preindex.php
+++ b/preindex.php
@@ -11,7 +11,7 @@
     Copyright 2004-2009 iDB Support - http://idb.berlios.de/
     Copyright 2004-2009 Game Maker 2k - http://gamemaker2k.org/
 
-    $FileInfo: preindex.php - Last Update: 12/07/2009 SVN 381 - Author: cooldude2k $
+    $FileInfo: preindex.php - Last Update: 12/12/2009 SVN 400 - Author: cooldude2k $
 */
 $pretime = explode(" ", microtime());
 $utime = $pretime[0];
@@ -23,7 +23,8 @@ if ($File3Name=="preindex.php"||$File3Name=="/preindex.php") {
        exit(); }
 require('sql.php');
 if($_GET['act']=="sqldumper"&&$_SESSION['UserGroup']!=$Settings['GuestGroup']&&
-       $GroupInfo['HasAdminCP']=="yes") { require($SettDir['admin'].'sqldumper.php'); die(); }
+       $GroupInfo['HasAdminCP']=="yes") { require($SettDir['admin'].'sqldumper.php'); 
+       session_write_close(); die(); }
 if(!isset($checklowview)) {
        $checklowview = false; }
 if($checklowview!==false&&$checklowview!==true) {