[PATCH 1/2] [gdb/testsuite] Simplify gdb.server/server-kill-python.exp

[Tom Tromey]

>>>>> "Tom" == Tom de Vries <tdevries@suse.de> writes:

Tom>  # Now start GDB, sourcing the python command file we generated above.
Tom>  # Set the height and width so we don't end up at a paging prompt.
Tom>  if {[gdb_spawn_with_cmdline_opts \
Tom> -	 "-quiet -iex \"set height 0\" -iex \"set width 0\" -ex \"source $host_file1\""] != 0} {
Tom> +	 "-quiet -iex \"set height 0\" -iex \"set width 0\""] != 0} {
Tom>      fail "spawn"
Tom>      return

Do this even need any arguments now?  I thought the default was to set
width and height to 0.

Tom