Re: jigAdmin GUI: how to restart servers?

On Thu, 13 May 1999, rob sanders wrote:

> Hi:
> 
> I can turn off the server in the GUI using the stop sign icon. Is there
> a way to restart the server in the GUI?


It is currently not possible, we are debugging the restart, so that you
can do some changes like port change and be able to restart the server
using the admin tool only.
Regards,

      /\          - Yves Lafon - World Wide Web Consortium - 
  /\ /  \        Architecture Domain - Jigsaw Activity Leader
 /  \    \/\    
/    \   /  \   http://www.w3.org/People/Lafon - ylafon@w3.org    

Received on Friday, 14 May 1999 11:45:13 UTC