Commit 4ec4afbb authored by Mart Lubbers's avatar Mart Lubbers

Adapt to new iTasks, refreshSensitive is gone

parent d41d378a
Pipeline #15978 passed with stage
in 3 minutes and 12 seconds
......@@ -2,6 +2,7 @@ implementation module iTasksTTY
import StdEnv
from Data.Map import :: Map, newMap
import Data.Func
import Text
......@@ -32,7 +33,7 @@ where
| isError merr = (ExceptionResult (fromError merr), iworld)
= (ValueResult
NoValue
{TaskEvalInfo|lastEvent=ts,removedTasks=[],refreshSensitive=True}
{TaskEvalInfo|lastEvent=ts,removedTasks=[],attributes=newMap}
rep
(TCBasic taskId ts (DeferredJSONNode $ JSONString "") False)
, iworld)
......@@ -53,7 +54,7 @@ where
(_,_,True) =
(ValueResult
(Value () True)
{TaskEvalInfo|lastEvent=ts,removedTasks=[],refreshSensitive=True}
{TaskEvalInfo|lastEvent=ts,removedTasks=[],attributes=newMap}
rep
(TCDestroy tree)
, {iworld & resources=[TTYd dp tty:resources]})
......@@ -71,7 +72,7 @@ where
| isError merr = (ExceptionResult (fromError merr), iworld)
= (ValueResult
NoValue
{TaskEvalInfo|lastEvent=ts,removedTasks=[],refreshSensitive=True}
{TaskEvalInfo|lastEvent=ts,removedTasks=[],attributes=newMap}
rep
(TCBasic taskId ts (DeferredJSONNode $ JSONString newacc) False)
, iworld)
......
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