.

diff --git a/guests.txt b/guests.txt
new file mode 100644 (file)
index 0000000..c8f1007
--- /dev/null
+++ b/guests.txt
@@ -0,0 +1,18 @@
+José
+Louis
+Herman
+Vincent
+Wesley
+Roy
+Karin
+Ties
+Jorrit
+Larry
+Koen
+Pieter W
+Pieter K
+Rinus
+Arjan
+Bas
+Laszlo
+John

diff --git a/results.arch.tex b/results.arch.tex
index 5c7c448..8470ff6 100644 (file)
--- a/results.arch.tex
+++ b/results.arch.tex
@@ -470,13 +470,14 @@ shows the connection function.
 \begin{lstlisting}[label={lst:connectDevice},%
        caption={Connect a device}]
 connectDevice :: (MTaskDevice (Shared Channels) -> Task ()) MTaskDevice -> Task Channels
-connectDevice procFun device = let ch = channels device
-       in traceValue "connectDevice" >>| appendTopLevelTask 'DM'.newMap True
+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
 where
        errHdl e = upd (\d->{d & deviceTask=Nothing, deviceError=Just e}) (deviceShare device) @! ()
+       ch = channels device
 \end{lstlisting}
 
 Figure~\ref{fig:handshake} shows the connection diagram. The client responds to