chiark
/
gitweb
/
~mdw
/
ca
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Merge branch 'master' of git://git.distorted.org.uk/~mdw/ca
[ca]
/
bin
/
add
diff --git
a/bin/add
b/bin/add
index bf144ae54f983a8f52555fa0fe35682c354254b8..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'"
}