update connectDevice functionality

diff --git a/arch.communication.tex b/arch.communication.tex
index 1e9b4b6..9082fd5 100644 (file)
--- 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