From: François Fleuret Date: Tue, 23 Jul 2024 05:05:53 +0000 (+0200) Subject: Update. X-Git-Url: https://fleuret.org/cgi-bin/gitweb/gitweb.cgi?a=commitdiff_plain;h=20ba986c61fbdb83234cb368c2d9ce0ea62b4457;p=culture.git Update. --- diff --git a/main.py b/main.py index efc40e7..df32460 100755 --- a/main.py +++ b/main.py @@ -243,7 +243,7 @@ with open("this_run.sh", "w") as f: f.write(f"{' '.join(sys.argv)}\n") os.system(f"tar zcvf {args.result_dir}/src-{now}.tgz *.py *.sh") -exit(0) + log_string(f"argv {' '.join(sys.argv)}") for n in vars(args):