Skip to content

Commit

Permalink
Use proper exit code
Browse files Browse the repository at this point in the history
Co-authored-by: Anders Jensen-Urstad <[email protected]>
  • Loading branch information
kwahlin and andersju authored Nov 8, 2023
1 parent 32b5d7f commit f42d44f
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion whelktool/src/main/groovy/datatool/WhelkTool.groovy
Original file line number Diff line number Diff line change
Expand Up @@ -693,7 +693,7 @@ class WhelkTool {
}
if (errorDetected) {
log "Script terminated due to an error, see $reportsDir/ERRORS.txt for more info"
System.exit(2)
System.exit(1)
}
log "Done!"
}
Expand Down

0 comments on commit f42d44f

Please sign in to comment.