From: François Fleuret Date: Mon, 23 Oct 2023 06:21:39 +0000 (+0200) Subject: Update. X-Git-Url: https://fleuret.org/cgi-bin/gitweb/gitweb.cgi?a=commitdiff_plain;h=6e09c88d26d0bfd675af9afd9cdc32aa3485d1b7;p=culture.git Update. --- diff --git a/main.py b/main.py index 3ce5916..17936c3 100755 --- a/main.py +++ b/main.py @@ -348,6 +348,8 @@ def log_string(s): sys.stdout.flush() +log_string(f"argv {' '.join(sys.argv)}") + for n in vars(args): log_string(f"args.{n} {getattr(args, n)}")