File diff 000000000000 → 72890999e24d
init_db.sh
Show inline comments
 
new file 100755
 
#! /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