From 5bb7f0f26c7e8184655f0a934ea30ceda75ec1ba Mon Sep 17 00:00:00 2001 From: Steven Silvester Date: Thu, 9 Dec 2021 15:23:08 -0600 Subject: [PATCH] add localdb init --- binder/start | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/binder/start b/binder/start index 48be87dcd..45cb17626 100755 --- a/binder/start +++ b/binder/start @@ -2,9 +2,13 @@ import sys import shutil import os +import subprocess +# Start the local mongodb as a background task +binder_folder = os.path.join(os.getcwd(), 'binder') +subprocess.Popen(['init'], shell=True, cwd=binder_folder, close_fds=True) + +# Launch Jupyter argv = sys.argv[1:] print(argv) - - os.execv(shutil.which(argv[0]), argv) \ No newline at end of file