Here, there is no payload attached to the messages.
-\dontinclude 11-explicitwait.c
+\don'tinclude 11-explicitwait.c
\skip message_declaration
\until }
The core of our distributed service is implemented (protocol, actions on
server side, and accessing function on client side). We should now
-initialize the server and let it wait for incomming messages.
+initialize the server and let it wait for incoming messages.
Defining when to stop the server can become tricky. The simplest solution is
to never let the server stop. It simply runs forever. But the simulator will
Here, we will just hardcode that the clients ask 5 times for the token, and
that there is two clients. This clearly simplify the problem.
-\dontinclude 11-explicitwait.c
+\don'tinclude 11-explicitwait.c
\skip gras_userdata_new
\until gras_msg_handle