Upgrade process can be long, so flush regularly

diff --git a/lib/db/mysql.php b/lib/db/mysql.php
index 0064c24fd1c15b59c4559d22c490d5500248ff56..cfd589505bc5a6539e0e6d2fe65406b37fb1eefe 100644 (file)
--- a/lib/db/mysql.php
+++ b/lib/db/mysql.php
@@ -656,6 +656,7 @@ function main_upgrade($oldversion=0) {
                         }
                     }
                 }
+                flush();
             }
         }
     }

diff --git a/lib/db/postgres7.php b/lib/db/postgres7.php
index ee402e341c1ef008256acf10aadbac9325a1f460..684b8b8c1845f048550d0d71df8663ed101d14e8 100644 (file)
--- a/lib/db/postgres7.php
+++ b/lib/db/postgres7.php
@@ -402,6 +402,7 @@ function main_upgrade($oldversion=0) {
                         }
                     }
                 }
+                flush();
             }
         }
     }