src/eric7/JediInterface/JediServer.py

branch
eric7
changeset 11255
1c2bd52f2002
parent 11090
f5f5f5803935
child 11256
b19a0278b8bf
equal deleted inserted replaced
11254:cdb56075b4bc 11255:1c2bd52f2002
68 super().__init__( 68 super().__init__(
69 name="JediServer", 69 name="JediServer",
70 interface=Preferences.getDebugger("NetworkInterface"), 70 interface=Preferences.getDebugger("NetworkInterface"),
71 multiplex=True, 71 multiplex=True,
72 parent=ui, 72 parent=ui,
73 releaseMode=ui.ReleaseMode,
73 ) 74 )
74 75
75 self.__ui = ui 76 self.__ui = ui
76 self.__vm = viewManager 77 self.__vm = viewManager
77 self.__ericProject = project 78 self.__ericProject = project

eric ide

mercurial