From feecce3a2b4e569a6d5aa97222ded0e6c14e696f Mon Sep 17 00:00:00 2001
From: Jean-Philippe Lesot <jplesot@google.com>
Date: Fri, 20 Mar 2015 19:18:06 +0100
Subject: Better crash management of Jack server

Bug: 19864067
Change-Id: I494bc0587cb2cfcc8ecab8290d9478b6f214758c
---
 jack/etc/jack | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

(limited to 'jack/etc')

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
-- 
cgit v1.1