src/eric7/JediInterface/JediServer.py

branch
eric7
changeset 10928
46651e194fbe
parent 10859
399d19fc7eb5
child 10941
07cad049002c
child 10970
2ad8a7d0867c
equal deleted inserted replaced
10927:ce599998be7d 10928:46651e194fbe
63 @param project reference to the project object 63 @param project reference to the project object
64 @type Project 64 @type Project
65 @param ui reference to the user interface 65 @param ui reference to the user interface
66 @type UserInterface 66 @type UserInterface
67 """ 67 """
68 super().__init__("JediServer", multiplex=True, parent=ui) 68 super().__init__(
69 name="JediServer",
70 interface=Preferences.getDebugger("NetworkInterface"),
71 multiplex=True,
72 parent=ui,
73 )
69 74
70 self.__ui = ui 75 self.__ui = ui
71 self.__vm = viewManager 76 self.__vm = viewManager
72 self.__ericProject = project 77 self.__ericProject = project
73 78

eric ide

mercurial