- From: Benoit Mahe <Benoit.Mahe@sophia.inria.fr>
- Date: Tue, 23 Feb 1999 13:39:21 +0100
- 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 UTC