let's see what happens in terms of memory usage/GC'ing if we comment out the finalize...
[mir.git] / source / server.xml
2001-12-02 mhforget to add the config file itself...