- From: Roland Mainz <Roland.Mainz@informatik.med.uni-giessen.de>
- Date: Sun, 09 Jan 2000 15:36:05 +0100
- 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 UTC