correction of server.php