FS#1814 - Add option for custom php.ini for execution of ispconfig server.p...

tbrehm

2012-06-07 03e1700a01dd3b425ec5d6cb7bd9684360900a53

 interface/web/admin/system_config_edit.php

@@ -108,6 +108,13 @@
            "FROM web_domain";
         $app->db->query($sql);
      }
		
      // Maintenance mode
      if($server_config_array['misc']['maintenance_mode'] == 'y'){
         //print_r($_SESSION);
         //echo $_SESSION['s']['id'];
         $app->db->query("DELETE FROM sys_session WHERE session_id != '".$_SESSION['s']['id']."'");
      }
   }
   
}