Merge pull request #126 in BA/design from ~ZHOUPING/design:dev to dev

* commit 'a47ad9e3a63464091ccdff1b788ea3f3fa8bf92d':
  设计器关闭的时候需要调用一下fireServletStopListener，否则本地的平台还原功能没法使

designer/src/com/fr/start/Designer.java

@@ -35,6 +35,7 @@ import com.fr.general.Inter;
 import com.fr.stable.ProductConstants;
 import com.fr.stable.StableUtils;
 import com.fr.stable.StringUtils;
+import com.fr.stable.web.ServletContext;
 import com.fr.stable.xml.XMLTools;
 
 import javax.swing.*;
@@ -431,6 +432,7 @@ public class Designer extends BaseDesigner {
     	InformationCollector collector = InformationCollector.getInstance();
     	collector.collectStopTime();
     	collector.saveXMLFile();
+        ServletContext.fireServletStopListener();
     }
 
 }