Update process_mets.sh

Co-authored-by: Robert Sachunsky <38561704+bertsky@users.noreply.github.com>
slub · Mar 1, 2024 · 0f1c0d7 · 0f1c0d7
1 parent e47ab84
commit 0f1c0d7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/process_mets.sh b/process_mets.sh
@@ -63,7 +63,7 @@ EOF
       --ocr-grp) RESULT_GRP="$2"; shift;;
       --pages) PAGES="$2"; shift;;
       --url-prefix) URL_PREFIX="$2"; shift;;
-      --async) ASYNC="$2"; shift;;
+      --async) ASYNC=true;;
       --webhook-receiver-url) WEBHOOK_RECEIVER_URL="$2"; shift;;
       *) METS_PATH="$1";
          PROCESS_ID=$(ocrd workspace -m "$METS_PATH" get-id)