From f42d44f1a8361ba4155df8f7924839ddd33b41a4 Mon Sep 17 00:00:00 2001 From: kwahlin <72360110+kwahlin@users.noreply.github.com> Date: Wed, 8 Nov 2023 11:04:30 +0100 Subject: [PATCH] Use proper exit code Co-authored-by: Anders Jensen-Urstad --- whelktool/src/main/groovy/datatool/WhelkTool.groovy | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/whelktool/src/main/groovy/datatool/WhelkTool.groovy b/whelktool/src/main/groovy/datatool/WhelkTool.groovy index d00b62baf2..224a796ebd 100644 --- a/whelktool/src/main/groovy/datatool/WhelkTool.groovy +++ b/whelktool/src/main/groovy/datatool/WhelkTool.groovy @@ -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!" }