Changeset: c34f316c6809 for MonetDB
URL: https://dev.monetdb.org/hg/MonetDB?cmd=changeset;node=c34f316c6809
Modified Files:
testing/process.py
Branch: Nov2019
Log Message:
Remove options no longer needed in this version.
diffs (14 lines):
diff --git a/testing/process.py b/testing/process.py
--- a/testing/process.py
+++ b/testing/process.py
@@ -311,9 +311,7 @@ def server(args=[], stdin=None, stdout=N
if not cmd:
cmd = ['mserver5',
'--set', 'mapi_open=true',
- '--set', 'gdk_nr_threads=1',
- '--set', 'monet_prompt=']
- cmd.extend(['--set', 'monet_daemon=yes'])
+ '--set', 'gdk_nr_threads=1']
if verbose:
sys.stdout.write('Default server: ' + ' '.join(cmd + args) + '\n')
if notrace and '--trace' in cmd:
_______________________________________________
checkin-list mailing list
checkin-list@monetdb.org
https://www.monetdb.org/mailman/listinfo/checkin-list
