debug code for SERVER module