diff --git a/init_db.sh b/init_db.sh new file mode 100755 index 0000000000000000000000000000000000000000..3e9ef2c1e2e2719248455f089561857ff0d22114 --- /dev/null +++ b/init_db.sh @@ -0,0 +1,15 @@ +#! /bin/bash +function init_db { + + db=$1 + monetdb stop $db + monetdb destroy -f $db + monetdb create $db + #monetdb set nthreads=1 $db + monetdb set embedpy=yes $db + monetdb release $db + monetdb start $db + +} + +init_db $1