moved db pool initialization to MirConfig completely. Database.jave also
authormh <mh>
Sat, 9 Feb 2002 16:52:08 +0000 (16:52 +0000)
committermh <mh>
Sat, 9 Feb 2002 16:52:08 +0000 (16:52 +0000)
commit8a02f8532e8ae998212b58e40415816e15e28a36
treec4a31fa2e43d4259781d0a19a4853b91b2efb012
parentc433619fd58cc3fe2fc1e63fc57a8b255e3eeae5
moved db pool initialization to MirConfig completely. Database.jave also
gains better error handling.
source/Mir.java
source/OpenMir.java
source/mir/misc/MirConfig.java
source/mir/servlet/AbstractServlet.java
source/mir/storage/Database.java