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

RFE: handling the bad ^C kills...

From: Roland Mainz <Roland.Mainz@informatik.med.uni-giessen.de>
Date: Sun, 09 Jan 2000 15:36:05 +0100
Message-Id: <38789CD5.84D6F0E1@informatik.med.uni-giessen.de>
To: W3 Jigsaw Mailinglist <www-jigsaw@w3.org>

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 ?

----

Bye,
Roland

--
  __ .  . __
 (o.\ \/ /.o) Roland.Mainz@informatik.med.uni-giessen.de
  \__\/\/__/  gisburn@informatik.med.uni-giessen.de
  /O /==\ O\  MPEG specialist, C&&JAVA&&Sun&&Unix programmer
 (;O/ \/ \O;) TEL +49 (0) 641/99-13193 FAX +49 (0) 641/99-41359
Received on Sunday, 9 January 2000 09:36:25 GMT

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