Christian Zimmermann writes

Is there a way to purge memory without restart?

I don't know and I can't look into this now. Cheers, Thomas Krichel http://openlib.org/home/krichel http://authorclaim.org/profile/pkr1 skype: thomaskrichel