fix shared with git (#1501)

deadlock when switching repo

fix shared with git (#1501)
deadlock when switching repo
4496df89 · Romain Bioteau · GitHub · 16bdea18 · 4496df89
Commit 4496df89 authored Nov 26, 2018 by Romain Bioteau Committed by GitHub Nov 26, 2018
Hide whitespace changes
Inline Side-by-side

Showing with 0 additions and 7 deletions

bundles/plugins/org.bonitasoft.studio.engine/src/org/bonitasoft/studio/engine/BOSWebServerManager.java ...src/org/bonitasoft/studio/engine/BOSWebServerManager.java +0 -7

No files found.
--- a/bundles/plugins/org.bonitasoft.studio.engine/src/org/bonitasoft/studio/engine/BOSWebServerManager.java
+++ b/bundles/plugins/org.bonitasoft.studio.engine/src/org/bonitasoft/studio/engine/BOSWebServerManager.java
@@ -175,13 +175,6 @@ public class BOSWebServerManager implements IBonitaProjectListener {
                        EnginePlugin.PLUGIN_ID);
            }
            WatchdogManager.getInstance().startWatchdog();
-            if (tomcat != null) {
-                try {
-                    tomcat.delete();
-                } catch (final CoreException e) {
-                    BonitaStudioLog.error(e, EnginePlugin.PLUGIN_ID);
-                }
-            }
            updateRuntimeLocationIfNeeded();
            final IRuntimeType type = ServerCore.findRuntimeType(TOMCAT_RUNTIME_TYPE);