Minor

fabioz · May 5, 2024 · 78b9494 · 78b9494
1 parent 5fb8654
commit 78b9494
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/plugins/org.python.pydev/src/org/python/pydev/plugin/PydevPlugin.java b/plugins/org.python.pydev/src/org/python/pydev/plugin/PydevPlugin.java
@@ -490,7 +490,11 @@ public void stop(BundleContext context) throws Exception {
         this.isAlive = false;
         try {
             //stop the running shells
-            AbstractShell.shutdownAllShells();
+            try {
+                AbstractShell.shutdownAllShells();
+            } catch (Exception e) {
+                Log.log(e);
+            }
 
             //save the natures (code completion stuff) -- and only the ones initialized
             //(no point in getting the ones not initialized)