diff --git a/test/lib/server.py b/test/lib/server.py index 27154999e2a484ddf8c623bcb60189079ea578f5..ee2954ffb34a2d543215e7de3a2eba45e5868ce3 100644 --- a/test/lib/server.py +++ b/test/lib/server.py @@ -33,7 +33,7 @@ def prepare_gdb(args): if term not in ["xterm", "rxvt", "urxvt", "gnome-terminal", "konsole"]: raise RuntimeError("--gdb: unsupported terminal {0}".format(term)) - args = [ term, "-e ", "gdb", "-ex", "break main", "-ex", "run" ] + args + args = [ term, "-e", "gdb", "-ex", "break main", "-ex", "run" ] + args return args def prepare_valgrind(args, valgrind_log):