Searched refs:RESULT (Results 1 – 1 of 1) sorted by relevance
223 RESULT=$?226 if [ "0" != "$RESULT" ]; then227 echo "JAVA died with error code $RESULT"