From d49c14c258c913ca3eb0cb4fd79f96d05056c8a2 Mon Sep 17 00:00:00 2001 From: Dominik Jain Date: Wed, 25 Feb 2026 22:10:23 +0100 Subject: [PATCH] Use more precise failure instructions (no workarounds) [skip ci] --- src/serena/jetbrains/jetbrains_plugin_client.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/serena/jetbrains/jetbrains_plugin_client.py b/src/serena/jetbrains/jetbrains_plugin_client.py index 647f4bda..88e32377 100644 --- a/src/serena/jetbrains/jetbrains_plugin_client.py +++ b/src/serena/jetbrains/jetbrains_plugin_client.py @@ -136,7 +136,7 @@ class JetBrainsPluginClient(ToStringMixin): ) raise ServerNotFoundError( f"Found no Serena service in a JetBrains IDE instance for the project at {resolved_path}. " - "CRITICAL: Before you continue, ask the user to open this folder as a project in a JetBrains IDE " + "STOP. Do not attempt any other tools or workarounds. Ask the user to open this folder as a project in a JetBrains IDE " "with the Serena plugin installed and running!" )