Beremiz_cli.py
changeset 3548 da7b461f54b7
parent 3501 fa291393aac7
child 3618 f08b59f7c00a
--- a/Beremiz_cli.py	Sun Jul 17 17:49:34 2022 +0200
+++ b/Beremiz_cli.py	Sun Jul 17 18:07:46 2022 +0200
@@ -4,6 +4,7 @@
 import os
 import posixpath
 import sys
+import time
 from functools import wraps
 
 import click
@@ -105,6 +106,11 @@
 
     session.controller.finish()
 
+    if session.keep:
+        click.echo("Press Ctrl+C to quit")
+        while True:
+            time.sleep(1)
+
     return ret
 
 if __name__ == '__main__':