Update: format server.php