#1 Apache Derby shutdown

[David Young]

The standard disconnect method doesn't fully shutdown Apache Derby embedded connections. This patch applies the "shutdown=true" property on shutdown so that the database will be disconnected, allowing other programs to connect without having to completely shut down DBEdit2.

The patch may need to be refactored to make it more generalizable. See http://db.apache.org/derby/papers/DerbyTut/embedded_intro.html for details on Derby shutdown.

[David Young]

Apply to src/dbedit/actions/DisconnectAction.java

[Jef Van Den Ouweland]

Thanks, David, I'll test it out and put it in the next release.