edit server.php