One problem: testing the patch showed that my program does not suffer from the error anymore, but neither does it really quit the server...

Guess I only exposed a problem, not the solution. Sorry for that.

bye,

Erik.