When main script dies all child scripts have to be stopped as well. (Z…

…eraGmbH#21)
JMS-1 · Aug 5, 2024 · 6c2b431 · 6c2b431
1 parent 39f4ad9
commit 6c2b431
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/Library/Scripting/Engine/ScriptEngine.cs b/Library/Scripting/Engine/ScriptEngine.cs
@@ -197,6 +197,9 @@ private void RunScript(object? state)
         }
         try
         {
+            /* Make sure child processes will terminate as soon as possible. */
+            _cancel.Cancel();
+
             _done = true;
 
             /* Forward the information on the now terminated script. */