EngineTasks.dcl 563 Bytes
Newer Older
1 2 3 4 5
definition module iTasks.Internal.EngineTasks
/**
* This module defines the separate system tasks that the iTasks engine performs
*/
from iTasks.Internal.IWorld import :: IWorld
6
from iTasks.WF.Definition import :: TaskException, :: Task
7 8 9 10
from Data.Error import :: MaybeError
from Data.Maybe import :: Maybe
from TCPIP import :: Timeout

11
timeout :: !(Maybe Timeout) !*IWorld -> (!Maybe Timeout,!*IWorld)
12

Mart Lubbers's avatar
Mart Lubbers committed
13
updateClock :: !*IWorld -> *(!MaybeError TaskException (), !*IWorld)
14

15
removeOutdatedSessions :: Task ()
Mart Lubbers's avatar
Mart Lubbers committed
16

17
flushWritesWhenIdle:: Task ()
Mart Lubbers's avatar
Mart Lubbers committed
18

19
stopOnStable :: Task ()