Better (???) update procedure.

2026-05-20 22:33:44 +02:00 · 2016-10-31 18:57:22 +01:00
parent 5c6db5193d
commit af0c99e09b
2 changed files with 16 additions and 4 deletions
@@ -54,6 +54,7 @@ if (isset($msg)) {
 			echo "</script>\r\n";
 		} else {
 			echo "Update from github canceled.<br>\r\n";
+			$end = shell_exec('sudo ./scripts/cancel_update.sh');
 			echo "<script>\r\n";
 			echo "// redirect to main after 2 seconds\r\n";
 			echo "window.setTimeout(function() {\r\n";