diff options
| author | Jean-Philippe Lesot <jplesot@google.com> | 2015-03-20 19:18:06 +0100 |
|---|---|---|
| committer | Jean-Philippe Lesot <jplesot@google.com> | 2015-03-20 18:45:26 +0000 |
| commit | feecce3a2b4e569a6d5aa97222ded0e6c14e696f (patch) | |
| tree | 9638a42632da659945a4a6beffb89a0c0e89325a /jack/etc | |
| parent | ddbe33d38a3e9d99c8929896205a48c33528ba59 (diff) | |
| download | toolchain_jack-feecce3a2b4e569a6d5aa97222ded0e6c14e696f.zip toolchain_jack-feecce3a2b4e569a6d5aa97222ded0e6c14e696f.tar.gz toolchain_jack-feecce3a2b4e569a6d5aa97222ded0e6c14e696f.tar.bz2 | |
Better crash management of Jack server
Bug: 19864067
Change-Id: I494bc0587cb2cfcc8ecab8290d9478b6f214758c
Diffstat (limited to 'jack/etc')
| -rwxr-xr-x | jack/etc/jack | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/jack/etc/jack b/jack/etc/jack index b2bb54b..4c07d14 100755 --- a/jack/etc/jack +++ b/jack/etc/jack @@ -133,10 +133,14 @@ echo >>"$JACK_CLI" # Launch compilation echo "+ $JACK_OUT $JACK_ERR $JACK_EXIT $JACK_CLI" >>"$SERVER_FIFO" +EXIT_CODE=$(cat "$JACK_EXIT") +if [ -z "$EXIT_CODE" ]; then + EXIT_CODE=-1; +fi # Wait for termination wait $PID_OUT wait $PID_ERR # Exit -exit `cat "$JACK_EXIT"` +exit $EXIT_CODE |