Merge pull request #26706 from ClickHouse/aku/server-exit-code

record server exit code in fuzzer
This commit is contained in:
Alexander Kuzmenkov 2021-07-22 19:42:12 +03:00 committed by GitHub
commit 86b7701834
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -194,6 +194,10 @@ continue
jobs
pstree -aspgT
server_exit_code=0
wait $server_pid || server_exit_code=$?
echo "Server exit code is $server_exit_code"
# Make files with status and description we'll show for this check on Github.
task_exit_code=$fuzzer_exit_code
if [ "$server_died" == 1 ]