From eff86623295073e6221734d1d0625b8c2b30289f Mon Sep 17 00:00:00 2001
From: Mart Lubbers <mart@martlubbers.net>
Date: Sun, 2 Jul 2017 16:30:41 +0200
Subject: [PATCH] update connectDevice functionality

---
 arch.communication.tex | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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
-- 
2.20.1