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

Re: RFE: handling the bad ^C kills...

From: Yves Lafon <ylafon@w3.org>
Date: Tue, 11 Jan 2000 17:48:40 +0100 (MET)
To: Roland Mainz <Roland.Mainz@informatik.med.uni-giessen.de>
cc: W3 Jigsaw Mailinglist <www-jigsaw@w3.org>
Message-ID: <Pine.GSO.4.21.0001111741370.27908-100000@tarantula.inria.fr>
On Sun, 9 Jan 2000, Roland Mainz wrote:

> 
> Hi !
> 
> ----
> 
> I found a solution how to handle "jigsaw has been killed by ^C" problem:
> 
> In JDK 1.3 beta java.lang.RunTime has a new method called
> addShutDownHook() which can be used to implement a "fast" shutdown
> mechanism...
> Yves ? Benoit ? Any comments ?

Sounds like something good! The best place to add this is in the
ServerHandlerManager, so that it can call the shutdown method on all the
ServerHandlers. The only problem is to write code for a jdk in beta, and
not all platforms even have a jdk1.2 :(

      /\          - Yves Lafon - World Wide Web Consortium - 
  /\ /  \        Architecture Domain - Jigsaw Activity Leader
 /  \    \/\    
/    \   /  \   http://www.w3.org/People/Lafon - ylafon@w3.org    
Received on Tuesday, 11 January 2000 11:47:10 GMT

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