#! /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