174175176177178179180181182183184
srv.destroyAllServlets(); } })); Thread exposerThread = new Thread("ContextExposer") { public void run() { srv.serve(); } }; exposerThread.setDaemon(true); exposerThread.setPriority(Thread.MIN_PRIORITY); exposerThread.start();