From 28b753f6f2cc1ea1b874f568703d44c06221d92f Mon Sep 17 00:00:00 2001
From: joschrew <jonas.schrewe@gwdg.de>
Date: Thu, 19 Oct 2023 11:50:16 +0200
Subject: [PATCH] Fix lib.bash receiving mets-server-url option

---
 ocrd/ocrd/lib.bash | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ocrd/ocrd/lib.bash b/ocrd/ocrd/lib.bash
index bdb9e53550..25d1450d4a 100644
--- a/ocrd/ocrd/lib.bash
+++ b/ocrd/ocrd/lib.bash
@@ -145,7 +145,7 @@ ocrd__parse_argv () {
             -I|--input-file-grp) ocrd__argv[input_file_grp]=$2 ; shift ;;
             -w|--working-dir) ocrd__argv[working_dir]=$(realpath "$2") ; shift ;;
             -m|--mets) ocrd__argv[mets_file]=$(realpath "$2") ; shift ;;
-            --mets-server-url) ocrd_argv[mets_server_url]="$2" ; shift ;;
+            --mets-server-url) ocrd__argv[mets_server_url]="$2" ; shift ;;
             --overwrite) ocrd__argv[overwrite]=true ;;
             --profile) ocrd__argv[profile]=true ;;
             --profile-file) ocrd__argv[profile_file]=$(realpath "$2") ; shift ;;