From 72331c3c16f9ae041d78ce0e1d45fdae9359fb97 Mon Sep 17 00:00:00 2001
From: Anthony Bretaudeau <anthony.bretaudeau@inria.fr>
Date: Mon, 20 Nov 2023 15:51:01 +0100
Subject: [PATCH] give a few more seconds to startup

---
 tools/genenotebook/launch_gnb.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/genenotebook/launch_gnb.sh b/tools/genenotebook/launch_gnb.sh
index b667b01..c45f9cc 100755
--- a/tools/genenotebook/launch_gnb.sh
+++ b/tools/genenotebook/launch_gnb.sh
@@ -4,7 +4,7 @@ set -e
 
 mongod --dbpath ./mongo_db/ --unixSocketPrefix `pwd` --bind_ip fake_socket --logpath ./mongod.log --pidfilepath ./mongo.pid &
 
-sleep 8
+sleep 15
 
 # "Listening on" is for mongodb 5x
 if ! grep -q "Listening on" ./mongod.log; then