diff options
-rwxr-xr-x | test/test.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/test.sh b/test/test.sh index b7b6d10..db44d5f 100755 --- a/test/test.sh +++ b/test/test.sh @@ -30,7 +30,7 @@ run_server() { "$script_dir/../server.py" --port 18101 & server_pid="$!" dump "Its PID is $server_pid" - sleep 3 + sleep 5 } kill_server() { |