Report if script has been paused. (ZeraGmbH#50)

JMS-1 · Oct 8, 2024 · a297636 · a297636
1 parent 6a456d2
commit a297636
Show file tree

Hide file tree

Showing 2 changed files with 13 additions and 2 deletions.
diff --git a/Library/Scripting/Engine/ScriptEngine.cs b/Library/Scripting/Engine/ScriptEngine.cs
@@ -91,7 +91,12 @@ public partial class ScriptEngine(
     /// </summary>
     /// <returns>Group execution status.</returns>
     protected ScriptGroupStatus SerializeGroupStatus(bool includeRepeat = false)
-        => new() { CodeHash = _codeHash, GroupStatus = _groupManager.Serialize(includeRepeat) };
+        => new()
+        {
+            CodeHash = _codeHash,
+            GroupStatus = _groupManager.Serialize(includeRepeat),
+            HasBeenPaused = _pause.IsCancellationRequested,
+        };
 
     /// <inheritdoc/>
     public async Task<string> StartAsync(StartScript request, string userToken, StartScriptOptions? options = null)

diff --git a/Library/Scripting/Engine/ScriptGroupStatus.cs b/Library/Scripting/Engine/ScriptGroupStatus.cs
@@ -24,4 +24,10 @@ public class ScriptGroupStatus<TStatus> where TStatus : GroupStatus<TStatus>
 /// <summary>
 /// 
 /// </summary>
-public class ScriptGroupStatus : ScriptGroupStatus<GroupStatus> { }
+public class ScriptGroupStatus : ScriptGroupStatus<GroupStatus>
+{
+    /// <summary>
+    /// Set if a pause request has been detected.
+    /// </summary>
+    public bool HasBeenPaused { get; set; }
+}