diff --git a/code/web/public_php/setup/database.php b/code/web/public_php/setup/database.php
index 75a3f0713..9a987b813 100644
--- a/code/web/public_php/setup/database.php
+++ b/code/web/public_php/setup/database.php
@@ -15,10 +15,12 @@ $db_ring_domain = 1;
 function set_db_version($continue_r, $name, $version) {
 	$continue = $continue_r;
 
-	if (file_put_contents("db_version_" . $name, (string)$version)) {
-	} else {
-		printalert("danger", "Failed to set database version");
-		$continue = false;
+	if ($continue) {
+		if (file_put_contents("db_version_" . $name, (string)$version)) {
+		} else {
+			printalert("danger", "Failed to set database version");
+			$continue = false;
+		}
 	}
 
 	return $continue;