Merge branch 'shutdown-message' of https://github.com/Safe-DS/Runner …

…into shutdown-message
Safe-DS · Dec 5, 2023 · 11108bb · 11108bb
2 parents 690771a + d106cfa
commit 11108bb
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/safeds_runner/server/messages.py b/src/safeds_runner/server/messages.py
@@ -22,7 +22,7 @@
     message_type_placeholder_value,
     message_type_runtime_error,
     message_type_runtime_progress,
-    message_type_shutdown
+    message_type_shutdown,
 ]