Commit 6d18889f authored by Steffen Michels's avatar Steffen Michels

clear SDS registrations when watch task is destroyed

parent 202d0588
Pipeline #12328 passed with stage
in 2 minutes and 49 seconds
......@@ -8,7 +8,8 @@ import iTasks.Internal.Task
import iTasks.Internal.TaskState
import iTasks.Internal.TaskEval
import qualified iTasks.Internal.SDS as SDS
import StdString
import StdString, Data.Func, Data.Error
import qualified Data.Set as DS
instance toString SharedException
where
......@@ -57,10 +58,9 @@ where
Ok val = ValueResult (Value val False) {TaskEvalInfo|lastEvent=ts,removedTasks=[],refreshSensitive=True} (rep event) (TCInit taskId ts)
Error e = ExceptionResult e
= (res,iworld)
eval event repAs (TCDestroy _) iworld = (DestroyedResult,iworld)
eval event repAs ttree=:(TCDestroy _) iworld
# iworld = 'SDS'.clearTaskSDSRegistrations ('DS'.singleton $ fromOk $ taskIdFromTaskTree ttree) iworld
= (DestroyedResult,iworld)
rep ResetEvent = ReplaceUI (ui UIEmpty)
rep _ = NoChange
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment