container: Umount on stop

[waydroid.git] / tools / __init__.py

diff --git a/tools/__init__.py b/tools/__init__.py
index 9bf1b7eeb9dc02b15f1349e2cf22f6f0df41c6bd..7c948d452e36810cf97076ac0ba04aad56ae3ade 100644 (file)
--- a/tools/__init__.py
+++ b/tools/__init__.py
@@ -108,8 +108,11 @@ def main():
         elif args.action == "log":
             if args.clear_log:
                 helpers.run.user(args, ["truncate", "-s", "0", args.log])
-            helpers.run.user(
-                args, ["tail", "-n", args.lines, "-F", args.log], output="tui")
+            try:
+                helpers.run.user(
+                    args, ["tail", "-n", args.lines, "-F", args.log], output="tui")
+            except KeyboardInterrupt:
+                pass
         else:
             logging.info("Run waydroid -h for usage information.")