[docker] run.sh exit with correct status

This commit is contained in:
Felix Ruess
2016-03-31 21:43:46 +02:00
parent bd822d4560
commit 9ee7a2f225
+4
View File
@@ -107,6 +107,8 @@ docker run \
${SHARE_PAPARAZZI_HOME_OPTS} \
--rm $args
# remember exit status
EXIT_STATUS=$?
############################################################
# cleanup after exiting from docker container
@@ -119,3 +121,5 @@ rm -f $XAUTH
if [ $UNAME == "Darwin" ]; then
pkill -f "$TCPPROXY"
fi
exit $EXIT_STATUS