W3C home > Mailing lists > Public > www-jigsaw@w3.org > January to February 1999

Re: Restart the server

From: Benoit Mahe <Benoit.Mahe@sophia.inria.fr>
Date: Tue, 23 Feb 1999 13:39:21 +0100
Message-ID: <36D2A179.68D8FB65@sophia.inria.fr>
To: Stephane VAST <Stephane.Vast@steria.fr>, Jigsaw Mailing List <www-jigsaw@w3.org>
No the restart doesn't work (for unkown reason), if you want to
restart the server, stop it an launch it again [1]

The servlet is reloaded each time its class change.

[1] http://www.w3.org/Jigsaw/Doc/User/AdminTools.html#stop-jigsaw

Regards, Benoit.

Stephane VAST wrote:

> Hi all,
>
> Maybe it is a newbee question:
> Does the 'restart' feature work in Jigadmin, or is it
> really 'not implemented' as Jigadmin writes ?
> Is there an easy way to restart a servlet or the http server ?
>
> thanks
>
> Stephane

--
- Benoît Mahé -------------------------------------------------------
                      World Wide Web Consortium (W3C)
                    Architecture domain - Jigsaw Team

  http://www.w3.org/People/Mahe - bmahe@w3.org - +33.4.92.38.79.89
---------------------------------------------------------------------
Received on Tuesday, 23 February 1999 07:39:27 GMT

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