diff options
| author | Egor Tensin <Egor.Tensin@gmail.com> | 2021-03-13 00:01:39 +0300 |
|---|---|---|
| committer | Egor Tensin <Egor.Tensin@gmail.com> | 2021-03-13 10:16:34 +0300 |
| commit | 0875c611b83e4bf6cbcd7b9758808549d7954737 (patch) | |
| tree | b6657c6d68cb5824daa253e24ea92d090d089eb1 /test/test.sh | |
| parent | img: update example.png (diff) | |
| download | linux-status-0875c611b83e4bf6cbcd7b9758808549d7954737.tar.gz linux-status-0875c611b83e4bf6cbcd7b9758808549d7954737.zip | |
test/test.sh: longer startup timeout
Maybe that's why some CI runs were failing?
Diffstat (limited to '')
| -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() { |