[Demexp-cvs] Fix in messages: goodbye_client and goodbye_server messages don't have an argument. Handling of messages that should not be received by the server. Added Norman Ramsey of noweb fame in the Thank you part. Reworked testing infrastructure in dummy_client. Handling on server of question creation (quickly tested).

[David Mentré]

Commit from dmentre (2003-10-05 10:16 EDT)
-------------------

Fix in messages: goodbye_client and goodbye_server messages don't have an 
argument. Handling of messages that should not be received by the server. Added 
Norman Ramsey of noweb fame in the Thank you part. Reworked testing 
infrastructure in dummy_client. Handling on server of question creation 
(quickly tested).

  demexp  net/messages.xdr.nw         1.8
  demexp  net/network.ml.nw           1.7
  demexp  srv/demexp-server-book.tex  1.18
  demexp  srv/demexp-server.ml.nw     1.13
  demexp  srv/posbase.ml.nw           1.7
  demexp  srv/work.ml.nw              1.6