summary |
shortlog |
log |
commit | commitdiff |
tree
raw |
patch |
inline | side by side (from parent 1:
2d23bbb)
That's why we have the tombstoning.
## Check whether the profile exists.
if {![db exists {
## 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'"
}
}]} {
error "unknown profile `$profile'"
}