changeset 11:4398a6fea625 draft default tip

planemo upload for repository https://github.com/galaxy-genome-annotation/galaxy-tools/tree/master/tools/genenotebook commit 6b276b84437470f019a6b13a7bd17171c117cece
author gga
date Mon, 01 Jul 2024 08:44:45 +0000
parents a0358a5ab3ae
children
files launch_gnb.sh
diffstat 1 files changed, 2 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/launch_gnb.sh	Mon Jun 24 10:28:36 2024 +0000
+++ b/launch_gnb.sh	Mon Jul 01 08:44:45 2024 +0000
@@ -17,13 +17,13 @@
 
   tries=$((tries + 1))
 
-  if [ "$tries" -ge 30 ]; then
+  if [ "$tries" -ge 50 ]; then
     echo "Failed to launch MongoDB:" 1>&2;
     cat ./mongod.log 1>&2;
     exit 1;
   fi
 
-  sleep 3
+  sleep 5
 done;
 
 TMP_STORAGE=$(pwd)/tmp_storage