mirror of
https://github.com/tiennm99/serena.git
synced 2026-10-13 08:15:59 +00:00
1 parent
c9abd9f793
commit
1931b601ef
1 file changed
-1
@@ -1169,7 +1169,6 @@ class SerenaAgent:
|
||||
self.issue_task(init_language_server_manager)
|
||||
|
||||
def init_jetbrains_ide() -> None:
|
||||
assert self.serena_config.jetbrains_launch_command is not None
|
||||
try:
|
||||
client = jetbrains_plugin_client.JetBrainsPluginClient.from_project(project, log_warning=False)
|
||||
log.info("Found Serena JetBrains Plugin server: %s", client)
|
||||
|
||||
Reference in new issue
Block a user