diff libervia/backend/core/launcher.py @ 4075:47401850dec6

refactoring: rename `libervia.frontends.jp` to `libervia.cli`
author Goffi <goffi@goffi.org>
date Fri, 02 Jun 2023 14:54:26 +0200
parents 4b842c1fb686
children 84f6bee6440d
line wrap: on
line diff
--- a/libervia/backend/core/launcher.py	Fri Jun 02 14:12:38 2023 +0200
+++ b/libervia/backend/core/launcher.py	Fri Jun 02 14:54:26 2023 +0200
@@ -73,7 +73,7 @@
             pid = int(pid_file.read_text())
         except Exception as e:
             print(f"Can't read PID file at {pid_file}: {e}")
-            # we use the same exit code as DATA_ERROR in jp
+            # we use the same exit code as DATA_ERROR in CLI frontend
             sys.exit(17)
         print(f"Terminating {self.APP_NAME}…")
         os.kill(pid, signal.SIGTERM)
@@ -114,7 +114,7 @@
                 pid = int(pid_file.read_text())
             except Exception as e:
                 print(f"Can't read PID file at {pid_file}: {e}")
-                # we use the same exit code as DATA_ERROR in jp
+                # we use the same exit code as DATA_ERROR in CLI frontend
                 sys.exit(17)
             # we check if there is a process
             # inspired by https://stackoverflow.com/a/568285 and https://stackoverflow.com/a/6940314