Merge pull request #127 in BA/design from ~ZHOUPING/design:master to master

* commit 'aa18a3ceed09b8c82293126c6b9479287c231e41':
  设计器关闭的时候需要调用一下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();
     }
 
 }