Avoid useless I/O

build-base.php

@@ -54,7 +54,3 @@ while (!feof($sql_fh)) {
 fclose($sql_fh);
 
 require 'includes/sql-schema/update.php';
-
-if( isset($_SESSION['stage']) ) {
-    $_SESSION['build-ok'] = true;
-}

html/install.php

@@ -318,7 +318,12 @@ elseif($stage == "2") {
     $config['db_name']=$dbname;
     $config['db']['extension']='mysqli';
     $sql_file = '../build.sql';
-    require '../build-base.php';
+    if ($_REQUEST['offset'] =< 100) {
+        require '../build-base.php';
+    }
+    else {
+        require '../includes/sql-schema/update.php';
+    }
 ?>
 </pre>
      </div>

includes/sql-schema/update.php

@@ -168,5 +168,8 @@ foreach ($filelist as $file) {
 
 if ($updating) {
     echo "-- Done\n";
+    if( isset($_SESSION['stage']) ) {
+        $_SESSION['build-ok'] = true;
+    }
 }