Skip to content

Commit 1807078

Browse files
authored
Update worker.sh
1 parent a7ab084 commit 1807078

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

code/worker.sh

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -86,7 +86,7 @@ fi
8686
LD_DEBUG=libs "$APPDIR/AppRun" &
8787
APID=$!
8888
sleep 5
89-
kill $APID && echo "SUCCESS"
89+
kill $APID && echo "SUCCESS" || exit 1
9090

9191
# TODO: If everything succeeded until here, then put together a "database file" and display it
9292

0 commit comments

Comments
 (0)