Small debug code for the server