Don't write version if upgrade failed

code/web/public_php/setup/database.php

@@ -15,11 +15,13 @@ $db_ring_domain = 1;
 function set_db_version($continue_r, $name, $version) {
 	$continue = $continue_r;
 
+	if ($continue) {
 		if (file_put_contents("db_version_" . $name, (string)$version)) {
 		} else {
 			printalert("danger", "Failed to set database version");
 			$continue = false;
 		}
+	}
 
 	return $continue;
 }