Update phpfm.php

zhblue · Dec 29, 2017 · 2347cfc · 2347cfc
1 parent 9b82c7a
commit 2347cfc
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/trunk/web/admin/phpfm.php b/trunk/web/admin/phpfm.php
@@ -44,15 +44,15 @@
 // +--------------------------------------------------
 // | Header and Globals
 // +--------------------------------------------------	
-@session_start();
+require_once("../include/db_info.inc.php");
 if (!(isset($_SESSION[$OJ_NAME.'_'.'administrator'])
       ||isset($_SESSION[$OJ_NAME.'_'.'problem_editor'])
      )){
 	echo $_SESSION[$OJ_NAME.'_'.'administrator'];
 	echo "<a href='../loginpage.php'>Please Login First!</a>";
 	exit(1);
 }
-require_once("../include/db_info.inc.php");
+
     $charset = "UTF-8";
     //@setlocale(LC_CTYPE, 'C');
     header("Pragma: no-cache");