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 (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'"
     }