# HG changeset patch
# User luca_milaz
# Date 1720474503 0
# Node ID 78705677f113cd177bfaed5eb1db0cb604175925
# Parent  c4a4a328dc7e9ec9a4132924b2b4f480c7cb014a
Uploaded

diff -r c4a4a328dc7e -r 78705677f113 marea_2_0/ras_generator.py
--- a/marea_2_0/ras_generator.py	Mon Jul 08 21:32:07 2024 +0000
+++ b/marea_2_0/ras_generator.py	Mon Jul 08 21:35:03 2024 +0000
@@ -655,6 +655,10 @@
     # get args from frontend (related xml)
     global ARGS
     ARGS = process_args()
+
+    with open(ARGS.out_log, 'a') as log:
+        log.write(sys.version + "\n\n")
+    print(sys.version)
     
     # read dataset
     dataset = read_dataset(ARGS.input, "dataset")