Skip to content
GitLab
Projects
Groups
Snippets
Help
Loading...
Help
What's new
7
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Open sidebar
clean-and-itasks
iTasks-SDK
Commits
0c66fcb8
Commit
0c66fcb8
authored
Mar 15, 2019
by
Steffen Michels
1
Browse files
Options
Browse Files
Download
Email Patches
Plain Diff
make definition of Internal.EngineTasks.timeout.lesser complete
parent
2cf17589
Pipeline
#20006
passed with stage
in 4 minutes and 44 seconds
Changes
1
Pipelines
1
Hide whitespace changes
Inline
Side-by-side
Showing
1 changed file
with
2 additions
and
2 deletions
+2
-2
Libraries/iTasks/Internal/EngineTasks.icl
Libraries/iTasks/Internal/EngineTasks.icl
+2
-2
No files found.
Libraries/iTasks/Internal/EngineTasks.icl
View file @
0c66fcb8
...
@@ -34,8 +34,8 @@ timeout mt iworld = case read taskEvents EmptyContext iworld of
...
@@ -34,8 +34,8 @@ timeout mt iworld = case read taskEvents EmptyContext iworld of
(
Error
_,
iworld
)
=
(
Just
500
,
iworld
)
//Keep retrying, but not too fast
(
Error
_,
iworld
)
=
(
Just
500
,
iworld
)
//Keep retrying, but not too fast
where
where
lesser
(
Just
x
)
(
Just
y
)
=
x
<
y
lesser
(
Just
x
)
(
Just
y
)
=
x
<
y
lesser
(
Just
_)
Nothing
=
True
lesser
(
Just
_)
Nothing
=
True
lesser
Nothing
Nothing
=
False
lesser
_
_
=
False
getTimeoutFromClock
::
Timespec
(
Map
SDSNotifyRequest
Timespec
)
->
[
Maybe
Timeout
]
getTimeoutFromClock
::
Timespec
(
Map
SDSNotifyRequest
Timespec
)
->
[
Maybe
Timeout
]
getTimeoutFromClock
now
requests
=
getTimeoutFromClock`
<$>
'
DM
'.
toList
requests
getTimeoutFromClock
now
requests
=
getTimeoutFromClock`
<$>
'
DM
'.
toList
requests
...
...
Steffen Michels
@smichels
mentioned in commit
6f3dc402
·
Apr 02, 2019
mentioned in commit
6f3dc402
mentioned in commit 6f3dc4020015fb17968bec8e6d3d8e5b28041353
Toggle commit list
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment