Update.
authorFrançois Fleuret <francois@fleuret.org>
Tue, 23 Jul 2024 05:07:02 +0000 (07:07 +0200)
committerFrançois Fleuret <francois@fleuret.org>
Tue, 23 Jul 2024 05:07:02 +0000 (07:07 +0200)
main.py

diff --git a/main.py b/main.py
index df32460..bad4222 100755 (executable)
--- a/main.py
+++ b/main.py
@@ -237,13 +237,18 @@ def log_string(s):
     sys.stdout.flush()
 
 
-now = time.strftime("%Y%m%d-%H%M%S", time.localtime())
+######################################################################
+# Create a time-stamped archive with the source code
 
 with open("this_run.sh", "w") as f:
     f.write(f"{' '.join(sys.argv)}\n")
 
+now = time.strftime("%Y%m%d-%H%M%S", time.localtime())
+
 os.system(f"tar zcvf {args.result_dir}/src-{now}.tgz *.py *.sh")
 
+######################################################################
+
 log_string(f"argv {' '.join(sys.argv)}")
 
 for n in vars(args):