From: François Fleuret <francois@fleuret.org>
Date: Tue, 23 Jul 2024 05:07:02 +0000 (+0200)
Subject: Update.
X-Git-Url: https://fleuret.org/cgi-bin/gitweb/gitweb.cgi?a=commitdiff_plain;h=28538af73b2054768e67c37ad971792ecc4ceea6;p=culture.git

Update.
---

diff --git a/main.py b/main.py
index df32460..bad4222 100755
--- 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):