it seems poolman does more caching than we thought. it caused problems -mh
authorcvs <cvs>
Mon, 1 Apr 2002 04:50:08 +0000 (04:50 +0000)
committercvs <cvs>
Mon, 1 Apr 2002 04:50:08 +0000 (04:50 +0000)
commit49cfb3779de3a298fedd86463dc4073942ec2cf4
tree31994ec6944e17267769b93238416bd84940337a
parent118de8edd861cd55f4c4fa6685690c1de0ee7fef
it seems poolman does more caching than we thought. it caused problems  -mh
source/mir/misc/MirConfig.java