# HG changeset patch
# User dereeper
# Date 1717086922 0
# Node ID d103c41b69318199cda96f5a3b17e02521f5430b
# Parent  24676ef2945d53365688eaef2757430507081007
Uploaded

diff -r 24676ef2945d -r d103c41b6931 PanExplorer.xml
--- a/PanExplorer.xml	Thu May 30 16:18:04 2024 +0000
+++ b/PanExplorer.xml	Thu May 30 16:35:22 2024 +0000
@@ -21,7 +21,8 @@
 
 cat config.yaml >$logfile;
 
-wget -O \$PANEX_PATH/panexplorer.sif https://panexplorer.southgreen.fr/singularity/panexplorer.sif >>$logfile 2>&1;
+if [ -f \$PANEX_PATH/panexplorer.sif ]; then; else; wget -O \$PANEX_PATH/panexplorer.sif https://panexplorer.southgreen.fr/singularity/panexplorer.sif >>$logfile 2>&1; fi;
+