Update editor.html

2023-02-27 05:37:17 +03:00
parent 1fe21bb300
commit 91a7b5be27
1 changed files with 1 additions and 1 deletions
@@ -42,7 +42,7 @@
        }).then(r => {
            if (r.ok) {
                alert('OK');
-                fetch('api/exit', {method: 'POST'});
+                fetch('api/exit?code=1', {method: 'POST'});
            } else {
                r.text().then(alert);
            }