gistfile1.txt

-> % git diff
diff --git a/demos/web/src/main/java/org/apache/karaf/web/WebAppListener.java b/demos/web/src/main/java/org/apache/kara
index dad40cd..4c49f01 100644
--- a/demos/web/src/main/java/org/apache/karaf/web/WebAppListener.java
+++ b/demos/web/src/main/java/org/apache/karaf/web/WebAppListener.java
@@ -24,9 +24,9 @@ import javax.servlet.ServletContextListener;
 import org.apache.karaf.main.Main;
 
 public class WebAppListener implements ServletContextListener {
-       
+
        private Main main;
-       
+
        public void contextInitialized(ServletContextEvent sce) {
                try {
                        System.err.println("contextInitialized");
@@ -52,7 +52,7 @@ public class WebAppListener implements ServletContextListener {
                try {
                        System.err.println("contextDestroyed");
                        if (main != null) {
-                               main.destroy(false);
+                main.destroy();
                        }
                } catch (Exception e) {
                        e.printStackTrace();