Fix whelktool cli started without script

libris · Nov 20, 2024 · 53980cb · 53980cb
1 parent 6726944
commit 53980cb
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/whelktool/src/main/groovy/whelk/datatool/WhelkTool.groovy b/whelktool/src/main/groovy/whelk/datatool/WhelkTool.groovy
@@ -831,6 +831,11 @@ class WhelkTool {
         int statsNumIds = options.n ? Integer.parseInt(options.n) : DEFAULT_STATS_NUM_IDS
 
         Script script = null
+        if (!scriptPath) {
+            cli.usage()
+            System.exit(1)
+        }
+
         try {
             script = new FileScript(scriptPath)