[ jEdit-devel ] CtagsInterface plugin: Uppercase table names in TagsDB.java prevents using postgresql for ctags database.

[Dion W. <di...@go...>]

I already have postgresql installed, so I would rather use that than
install a second database just for ctags.  However, it doesn't
currently work: Postgresql converts all table names to lower case.
The check to see if a table exists uses uppercase, thereby failing.
Maybe mysql ignores case internally?

This is easily fixed by changing all table and column names in
TagDB.java to lowercase, and changing all occurrences of toUpperCase()
to toLowerCase().  Then postgresql works perfectly.

I have yet to test this on a mysql database, but I see no reason for
it to not work.
Attached is the modified TagDB.java file.

Dion