= $number) { if (!file_exists($dir."/updated") || !is_dir($dir."/updated")) { mkdir($dir."/updated"); } $file_dest = "$dir/updated/$number.sql"; if (copy($file, $file_dest)) { unlink($file); } } else { $result = db_run_sql_file($file); if ($result) { $update_config = update_config_token("MR", $number); if ($update_config) { $config["MR"] = $number; } if ($config["MR"] == $number) { if (!file_exists($dir."/updated") || !is_dir($dir."/updated")) { mkdir($dir."/updated"); } $file_dest = "$dir/updated/$number.sql"; if (copy($file, $file_dest)) { unlink($file); } } } else { $error_file = fopen($config["homedir"] . "/extras/mr/error.txt", "w"); $message = "An error occurred while updating the database schema to the minor release " . $number; fwrite($error_file, $message); fclose($error_file); } } } else { $error_file = fopen($config["homedir"] . "/extras/mr/error.txt", "w"); $message = "The directory ' . $dir . ' should have read permissions in order to update the database schema"; fwrite($error_file, $message); fclose($error_file); } } else { $error_file = fopen($config["homedir"] . "/extras/mr/error.txt", "w"); $message = "The directory ' . $dir . ' does not exist"; fwrite($error_file, $message); fclose($error_file); } } echo $message; return; } } ?>