marknl
2011-08-09 28c819b4402c79db059e584c61af6d8289a3f4d5
install/update.php
@@ -187,6 +187,10 @@
   $inst->dbmaster = $inst->db;
}
/*
 *  Check all tables
*/
checkDbHealth();
/*
 *  dump the new Database and reconfigure the server.ini