TracAdmin: don't try to guess the indexing error based on the repository_type, as any kind of error is possible.
Authored by: cboos 2008-07-25
Parent: [r7391]
Child: [r7393]
