rename create_gpg_pub_file to be update_gpg_pub_file, and add it to

[monkeysphere.git] / src / share / mh / revoke_hostname

diff --git a/src/share/mh/revoke_hostname b/src/share/mh/revoke_hostname
index 3addf9081005c808dabd65b7fc419a46b7e540b3..99ba60350a569703290d3fdb49391d4cec32ef4b 100644 (file)
--- a/src/share/mh/revoke_hostname
+++ b/src/share/mh/revoke_hostname
@@ -65,6 +65,8 @@ EOF
 # execute edit-key script
 if echo "$revuidCommand" | gpg_host_edit ; then
 
+    update_gpg_pub_file
+
     show_key
 
     echo