From: Mart Lubbers <mart@martlubbers.net>
Date: Thu, 29 Jun 2017 14:28:48 +0000 (+0200)
Subject: .
X-Git-Tag: hand-in~37
X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=53bb66d2741507251b75c395fa54208f30c2cf2c;p=msc-thesis1617.git

.
---

diff --git a/guests.txt b/guests.txt
new file mode 100644
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
--- 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