diff --git a/projects/samskivert/src/java/com/samskivert/webmacro/DispatcherServlet.java b/projects/samskivert/src/java/com/samskivert/webmacro/DispatcherServlet.java index 9264cf29..403d2aad 100644 --- a/projects/samskivert/src/java/com/samskivert/webmacro/DispatcherServlet.java +++ b/projects/samskivert/src/java/com/samskivert/webmacro/DispatcherServlet.java @@ -1,5 +1,5 @@ // -// $Id: DispatcherServlet.java,v 1.3 2001/03/01 21:06:22 mdb Exp $ +// $Id: DispatcherServlet.java,v 1.4 2001/03/01 21:09:54 mdb Exp $ package com.samskivert.webmacro; @@ -178,6 +178,15 @@ public class DispatcherServlet extends WMServlet } } + public void stop () + { + // shutdown our applications + for (int i = 0; i < _apps.size(); i++) { + Application app = (Application)_apps.get(i); + app.shutdown(); + } + } + public Template handle (WebContext ctx) throws HandlerException { // first we select the template