Patch to make debugging with pdb better

marcoeilers · Sep 30, 2017 · 2f55236 · 2f55236
1 parent fde4d72
commit 2f55236
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/src/nagini_translation/lib/jvmaccess.py b/src/nagini_translation/lib/jvmaccess.py
@@ -7,8 +7,9 @@ class JVM:
     """
 
     def __init__(self, classpath: str):
-        jpype.startJVM(jpype.getDefaultJVMPath(),
-                       '-Djava.class.path=' + classpath, '-Xss128m')
+        if not jpype.isJVMStarted():
+            jpype.startJVM(jpype.getDefaultJVMPath(),
+                           '-Djava.class.path=' + classpath, '-Xss128m')
         self.java = jpype.JPackage('java')
         self.scala = jpype.JPackage('scala')
         self.viper = jpype.JPackage('viper')