Update js

SalamLang · Nov 18, 2024 · 9923b31 · 9923b31
1 parent f3be610
commit 9923b31
Showing 1 changed file with 15 additions and 0 deletions.
diff --git a/script/script.js b/script/script.js
@@ -56,9 +56,20 @@ var Module = {
 	printErr: (text) => {
 		displayError(text);
 	},
+	onExit: (status) => {
+		console.log(`Program exited with status: ${status}`);
+		elm_execute.disabled = true;
+	},
 };
 
 // Functions
+const restartRuntime = () => {
+	console.log('Restarting runtime...');
+
+	Module.onRuntimeInitialized();
+	Module._main();
+};
+
 const getCookie = (cookie_name) => {
 	const name = cookie_name + "=";
 	const decodedCookie = decodeURIComponent(document.cookie);
@@ -240,6 +251,10 @@ const captureOutput = (showOutput, arguments) => {
 
 		elm_error.textContent = 'خطای غیرمنتظره رخ داد.';
 		showErrorInIframe();
+	} finally {
+		if (Module.noInitialRun) {
+			restartRuntime();
+		}
 	}
 };