> Is there anything I have to do to shut down the pool when I'm shutting
> down Tomcat?

If your JVM exists, there's nothing to shut down - driver will simply break
the socket connections. Otherwise the garbage collector will call finalizers
which in turn will gracefully close the database connections (all active
transactions will be rolled back).

If you wish, you can explicitly call shutdown() method - this will close all
connections too.

Roman