more work on server.php