Update sebi_machine_launcher.sh

This commit is contained in:
davfsa 2018-06-21 19:56:08 +02:00 committed by GitHub
parent 6b8bda9223
commit 8f70fcc142
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -24,7 +24,7 @@ while true; do
fi fi
# Just respawn repeatedly until sigint. # Just respawn repeatedly until sigint.
python3.6 -m src python3.6 -m sebimachine
EXIT_STATUS=${?} EXIT_STATUS=${?}
if [ ${EXIT_STATUS} -ne 0 ]; then if [ ${EXIT_STATUS} -ne 0 ]; then
let FAIL_COUNTER=${FAIL_COUNTER}+1 let FAIL_COUNTER=${FAIL_COUNTER}+1