diff options
author | Daniel Kahn Gillmor <dkg@fifthhorseman.net> | 2009-02-19 04:00:48 -0500 |
---|---|---|
committer | Daniel Kahn Gillmor <dkg@fifthhorseman.net> | 2009-02-19 04:00:48 -0500 |
commit | 6476671df265a673b678ee692d5010202bc519d6 (patch) | |
tree | f37200c4dfdad0c1a2becaa1044827f7248194a5 /src/monkeysphere-host | |
parent | b5555eed1dbd5cfd8ea713cfee33ce8ddcf9238f (diff) | |
parent | b38d4458903d43bd59d6dfa04c8338ef12fd9a4c (diff) |
Merge commit 'jrollins/master'
Diffstat (limited to 'src/monkeysphere-host')
-rwxr-xr-x | src/monkeysphere-host | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/monkeysphere-host b/src/monkeysphere-host index 9e73ad2..00f7c34 100755 --- a/src/monkeysphere-host +++ b/src/monkeysphere-host @@ -110,7 +110,7 @@ load_fingerprint() { && rm -rf "$FUBAR") <"$HOST_KEY_FILE" \ | grep '^fpr:' | cut -d: -f10 ) else - HOST_FINGERPRINT= + failure "host key gpg pub file not found." fi } @@ -293,6 +293,7 @@ case $COMMAND in ;; 'update-gpg-pub-file') + load_fingerprint_secret update_gpg_pub_file ;; |