Merge branch 'master' of git://git.distorted.org.uk/~mdw/ca

[ca] / bin / add

diff --git a/bin/add b/bin/add
index 6bd128bd45b1bcb761db3c877c5285dd5d36652b..d4eae0f50764064423d456a9305878ca201c5079 100755 (executable)
--- a/bin/add
+++ b/bin/add
@@ -70,7 +70,7 @@ db transaction {
 
     ## Check whether the profile exists.
     if {![db exists {
-      SELECT 1 FROM profile WHERE label = $profile;
+      SELECT 1 FROM profile WHERE label = $profile AND tombstone = 0;
     }]} {
       error "unknown profile `$profile'"
     }
@@ -109,3 +109,6 @@ db transaction {
   ## Issue a shiny new certificate.
   issue-cert $id [now]
 }
+
+## Publish any necessary changes.
+update-hook