From: Mart Lubbers <mart@martlubbers.net>
Date: Sun, 2 Jul 2017 14:30:41 +0000 (+0200)
Subject: update connectDevice functionality
X-Git-Tag: hand-in~19
X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=eff86623295073e6221734d1d0625b8c2b30289f;p=msc-thesis1617.git

update connectDevice functionality
---

diff --git a/arch.communication.tex b/arch.communication.tex
index 1e9b4b6..9082fd5 100644
--- a/arch.communication.tex
+++ b/arch.communication.tex
@@ -71,7 +71,8 @@ connectDevice procFun device = set ([], [], False) ch
 		>>| appendTopLevelTask 'DM'.newMap True
 		(	procFun device ch -||- catchAll (getSynFun device.deviceData ch) errHdl)
 		>>= \tid->upd (\d->{d&deviceTask=Just tid,deviceError=Nothing}) (deviceShare device)
-		>>| upd (\(r,s,ss)->(r,s++[MTSpec],ss)) ch
+		>>| set (r,[MTSpec],ss) ch
+		>>| treturn device
 where
 	errHdl e = upd (\d->{d & deviceTask=Nothing, deviceError=Just e}) (deviceShare device) @! ()
 	ch = channels device