fix previous commit: leftover debug code in server.php