Ensure Lucene ticket index is updated on repository deletion

James Moger

2014-03-27 fcaeaa54102a8de9f36cdfd67b12fa4c540b1197

1
2
3
4
[user "admin"]
    password = admin
    role = "#admin"
    role = "#notfederated"