# HG changeset patch
# User Franz Glasner <fzglas.hg@dom66.de>
# Date 1565904399 -7200
# Node ID f5cf08e8d2467a5cb44ddc8734224c2d6b0d148c
# Parent  671130d10c210c936261d7ea503f29003c1ef889
Handle the error case when option handling fails because of wrong case labels

diff -r 671130d10c21 -r f5cf08e8d246 bin/fjail
--- a/bin/fjail	Thu Aug 15 22:56:11 2019 +0200
+++ b/bin/fjail	Thu Aug 15 23:26:39 2019 +0200
@@ -236,9 +236,13 @@
             echo "${USAGE}"
             exit 0
             ;;
-        \?|:)
+        \?)
             exit 2;
             ;;
+        *)
+            echo "ERROR: option handling failed" >&2
+            exit 2
+            ;;
     esac
 done