add debugging to sever.php