Added code to shut down our application objects when the servlet is shut

down.


git-svn-id: https://samskivert.googlecode.com/svn/trunk@61 6335cc39-0255-0410-8fd6-9bcaacd3b74c

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