W3C home > Mailing lists > Public > www-jigsaw@w3.org > May to June 1999

Re: jigAdmin GUI: how to restart servers?

From: Yves Lafon <ylafon@w3.org>
Date: Fri, 14 May 1999 17:45:09 +0200 (MET DST)
To: rob sanders <rsanders@draper.com>
cc: "www-jigsaw@w3.org" <www-jigsaw@w3.org>
Message-ID: <Pine.GSO.4.10.9905141744190.26859-100000@tarantula.inria.fr>
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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 9 April 2012 12:13:29 GMT