Changeset: 986252d7507d for MonetDB
URL: http://dev.monetdb.org/hg/MonetDB?cmd=changeset;node=986252d7507d
Modified Files:
testing/process.py
Branch: Jan2014
Log Message:
Remove default --set options that get overwritten by the caller.
diffs (17 lines):
diff --git a/testing/process.py b/testing/process.py
--- a/testing/process.py
+++ b/testing/process.py
@@ -378,6 +378,13 @@ def server(args = [], stdin = None, stdo
if verbose:
sys.stdout.write('Executing' + ' '.join(cmd + args) + '\n')
sys.stdout.flush()
+ for i in range(len(args)):
+ if args[i] == '--set' and i+1 < len(args):
+ s = args[i+1].partition('=')[0]
+ for j in range(len(cmd)):
+ if cmd[j] == '--set' and j+1 < len(cmd) and
cmd[j+1].startswith(s + '='):
+ del cmd[i:i+2]
+ break
if log:
prompt = time.strftime('# %H:%M:%S > ')
cmdstr = ' '.join(cmd + args)
_______________________________________________
checkin-list mailing list
[email protected]
https://www.monetdb.org/mailman/listinfo/checkin-list
