diff options
| author | sfan5 <sfan5@live.de> | 2023-01-23 00:19:30 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-01-23 00:19:30 +0100 |
| commit | 87d509e4625df2d76a80f14cab3d420bd58ba20a (patch) | |
| tree | 8a17b87abf96312a79f49c05c7c4824766bcb39f /util/test_multiplayer.sh | |
| parent | 6f5703baf1737ca1d7dd70982e878fd83d288cdd (diff) | |
| download | minetest-87d509e4625df2d76a80f14cab3d420bd58ba20a.tar.xz | |
Implement --debugger option to improve UX when debugging crashes (#13157)
Diffstat (limited to 'util/test_multiplayer.sh')
| -rwxr-xr-x | util/test_multiplayer.sh | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/util/test_multiplayer.sh b/util/test_multiplayer.sh index 1fcf298e8..e3fc79353 100755 --- a/util/test_multiplayer.sh +++ b/util/test_multiplayer.sh @@ -19,10 +19,6 @@ waitfor () { exit 1 } -gdbrun () { - gdb -q -batch -ex 'set confirm off' -ex 'r' -ex 'bt' --args "$@" -} - [ -e "$minetest" ] || { echo "executable $minetest missing"; exit 1; } rm -rf "$worldpath" @@ -39,11 +35,11 @@ printf '%s\n' >"$testspath/server.conf" \ ln -s "$dir/helper_mod" "$worldpath/worldmods/" echo "Starting server" -gdbrun "$minetest" --server --config "$conf_server" --world "$worldpath" --gameid $gameid 2>&1 | sed -u 's/^/(server) /' & +"$minetest" --debugger --server --config "$conf_server" --world "$worldpath" --gameid $gameid 2>&1 | sed -u 's/^/(server) /' & waitfor "$worldpath/startup" echo "Starting client" -gdbrun "$minetest" --config "$conf_client1" --go --address 127.0.0.1 2>&1 | sed -u 's/^/(client) /' & +"$minetest" --debugger --config "$conf_client1" --go --address 127.0.0.1 2>&1 | sed -u 's/^/(client) /' & waitfor "$worldpath/done" echo "Waiting for client and server to exit" |