Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Mart Lubbers
CleanSerial
Commits
8397951e
Commit
8397951e
authored
Mar 20, 2017
by
Mart Lubbers
Browse files
Gracefully quit
parent
27239bb5
Changes
1
Hide whitespace changes
Inline
Side-by-side
iTasksTTY.icl
View file @
8397951e
...
...
@@ -76,7 +76,7 @@ serialDeviceBackgroundTask enc dec rw iworld
=
case
read
rw
iworld
of
(
Error
e
,
iworld
)
=
(
Error
$
exception
"share couldn't be read"
,
iworld
)
//We need to stop
(
Ok
(_,_,
True
),
iworld
)
=
(
Error
$
exception
"I have to stop..."
,
iworld
)
(
Ok
(_,_,
True
),
iworld
)
=
(
Ok
()
,
iworld
)
(
Ok
(
r
,
s
,
ss
),
iworld
)
#
(
Just
(
TTYd
tty
bgid
))
=
iworld
.
resources
...
...
@@ -90,6 +90,6 @@ serialDeviceBackgroundTask enc dec rw iworld
(
Error
e
,
iworld
)
=
(
Error
$
exception
"share couldn't be written"
,
iworld
)
(
Ok
_,
iworld
)
=
(
Ok
(),
iworld
)
where
writet
::
[
String
]
->
(*
TTY
->
*
TTY
)
writet
::
[
String
]
->
(
!
*
TTY
->
!
*
TTY
)
writet
[]
=
id
writet
[
x
:
xs
]
=
writet
xs
o
TTYwrite
x
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new 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