src/eric7/JediInterface/JediServer.py

branch
eric7
changeset 10928
46651e194fbe
parent 10859
399d19fc7eb5
child 10941
07cad049002c
child 10970
2ad8a7d0867c
--- a/src/eric7/JediInterface/JediServer.py	Thu Sep 26 09:48:49 2024 +0200
+++ b/src/eric7/JediInterface/JediServer.py	Thu Sep 26 15:49:36 2024 +0200
@@ -65,7 +65,12 @@
         @param ui reference to the user interface
         @type UserInterface
         """
-        super().__init__("JediServer", multiplex=True, parent=ui)
+        super().__init__(
+            name="JediServer",
+            interface=Preferences.getDebugger("NetworkInterface"),
+            multiplex=True,
+            parent=ui,
+        )
 
         self.__ui = ui
         self.__vm = viewManager

eric ide

mercurial