From: Mark Wooding <mdw@distorted.org.uk>
Date: Thu, 6 Dec 2012 03:18:45 +0000 (+0000)
Subject: bin/add: Don't allow adding requests with defunct profiles.
X-Git-Url: https://git.distorted.org.uk/~mdw/ca/commitdiff_plain/9e49709b451cfccf98bb023341a9acaaf696936f

bin/add: Don't allow adding requests with defunct profiles.

That's why we have the tombstoning.
---

diff --git a/bin/add b/bin/add
index bf144ae..d4eae0f 100755
--- 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'"
     }