+ userID="ssh://${1}"
+
+ fingerprint=$(fingerprint_server_key)
+
+ # find the index of the requsted user ID
+ # NOTE: this is based on circumstantial evidence that the order of
+ # this output is the appropriate index
+ uidIndex=$(gpg_host --with-colons --fixed-list-mode --list-key "$fingerprint" 2> /dev/null | \
+ egrep "^(uid|uat):" | cut -d: -f10 | gpg_unescape | cat -n | \
+ grep "$userID" | awk '{ print $1 }')
+
+ if [ -z "$uidIndex" ] ; then
+ failure "User ID '$userID' not found in host key."
+ fi