From 1ef4697f622d7fcc3d5ad7ba9b99140f4ec41a79 Mon Sep 17 00:00:00 2001
From: Karl-Hermann Wieners <karl-hermann.wieners@mpimet.mpg.de>
Date: Mon, 2 Dec 2024 11:40:30 +0100
Subject: [PATCH] import: allow milliseconds in run log time stamps

---
 importexp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/importexp b/importexp
index 9452510..8b54514 100755
--- a/importexp
+++ b/importexp
@@ -174,7 +174,7 @@ cd '$WORK_DIR'
 
     echo "Generating configuration" >&2
 
-    eval "$(perl -lne '/^(?:\d{4,}-\d\d-\d\dT\d\d:\d\d:\d\d:\ )?\+\ \s*(
+    eval "$(perl -lne '/^(?:\d{4,}-\d\d-\d\dT\d\d:\d\d:\d\d(?:.\d+)?:\ )?\+\ \s*(
         EXPNAME|
         (?:start|end|initial|final)_date|
         restart_interval|
-- 
GitLab