#Toolserver Q
18-Jul-93 13:14:39
Sb: #132206-#Toolserver Q
Fm: David Ramsey 76702,335
To: Manuel Veloso 70365,1426
Manuel,
ToolServer can run by itself, in which case there is no stdin, or alongside the
shell, in which case there is.