From 77a0c1fdf56548fe316796781a0575d516c0ba8a Mon Sep 17 00:00:00 2001 From: Lars Reimann Date: Wed, 24 Apr 2024 02:14:14 +0200 Subject: [PATCH] fix: runner not shutting down when extension was closed (#1094) ### Summary of Changes Graceful shutdown of the runner now works again. --- .../src/language/runtime/safe-ds-python-server.ts | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/packages/safe-ds-lang/src/language/runtime/safe-ds-python-server.ts b/packages/safe-ds-lang/src/language/runtime/safe-ds-python-server.ts index 7ad073efa..57bb0ba6a 100644 --- a/packages/safe-ds-lang/src/language/runtime/safe-ds-python-server.ts +++ b/packages/safe-ds-lang/src/language/runtime/safe-ds-python-server.ts @@ -16,8 +16,8 @@ import { UpdateRunnerNotification, } from '../communication/rpc.js'; -const LOWEST_SUPPORTED_RUNNER_VERSION = '0.11.0'; -const LOWEST_UNSUPPORTED_RUNNER_VERSION = '0.12.0'; +const LOWEST_SUPPORTED_RUNNER_VERSION = '0.12.0'; +const LOWEST_UNSUPPORTED_RUNNER_VERSION = '0.13.0'; const npmVersionRange = `>=${LOWEST_SUPPORTED_RUNNER_VERSION} <${LOWEST_UNSUPPORTED_RUNNER_VERSION}`; export const pipVersionRange = `>=${LOWEST_SUPPORTED_RUNNER_VERSION},<${LOWEST_UNSUPPORTED_RUNNER_VERSION}`; @@ -435,7 +435,7 @@ export class SafeDsPythonServer { * @param message Message to be sent to the python server. This message should be serializable to JSON. */ public sendMessageToPythonServer(message: PythonServerMessage): void { - if (!isStarted(this.state)) { + if (!this.state.serverConnection) { return; }