src/eric7/JediInterface/JediServer.py

branch
eric7-maintenance
changeset 10941
07cad049002c
parent 10873
4e8e63df7893
parent 10928
46651e194fbe
child 11019
27cd57e98461
--- a/src/eric7/JediInterface/JediServer.py	Sat Aug 31 10:54:50 2024 +0200
+++ b/src/eric7/JediInterface/JediServer.py	Tue Oct 01 11:27:52 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