[ jEdit-devel ] [ jedit-Plugin Bugs-1943444 ] DBTerminal PostgreSQL settings are wrong

[SourceForge.net <no...@so...>]

Plugin Bugs item #1943444, was opened at 2008-04-15 17:04
Message generated for change (Tracker Item Submitted) made by Item Submitter
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=565475&aid=1943444&group_id=588

Please note that this message will contain a full copy of the comment thread,
including the initial issue submission, for this request,
not just the latest update.
Category: None
Group: None
Status: Open
Resolution: None
Priority: 5
Private: No
Submitted By: Michael Chisholm (chishomi)
Assigned to: Nobody/Anonymous (nobody)
Summary: DBTerminal PostgreSQL settings are wrong

Initial Comment:
The PostgreSQL driver classname is wrong and it builds the wrong JDBC connection URI.  The fix is to update some strings in DBTerminal\dbterminal\databases\PostGreSQL.java.  A diff of the fix I made is below:

*** PostGreSQL.java     Mon Jan 19 14:51:04 2004
--- PostGreSQL.java.fixed       Tue Apr 15 17:49:49 2008
***************
*** 10,16 ****
   */
  public class PostGreSQL extends AbstractDatabase {
        public PostGreSQL() {
!               super("PostGreSQL", "postgres", "postgresql.Driver");
        }

        /**
--- 10,16 ----
   */
  public class PostGreSQL extends AbstractDatabase {
        public PostGreSQL() {
!               super("PostGreSQL", "postgresql", "org.postgresql.Driver");
        }

        /**

----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=565475&aid=1943444&group_id=588