From 471cf570b26073d27246712e8d43adc95bd3dda2 Mon Sep 17 00:00:00 2001 From: mboudet Date: Mon, 1 Jul 2024 10:16:11 +0200 Subject: [PATCH] Increase mongo timeout --- tools/genenotebook/launch_gnb.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/tools/genenotebook/launch_gnb.sh b/tools/genenotebook/launch_gnb.sh index 00ebb70..c91b4a2 100755 --- a/tools/genenotebook/launch_gnb.sh +++ b/tools/genenotebook/launch_gnb.sh @@ -17,13 +17,13 @@ while ! grep -q "Listening on" ./mongod.log; do 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