Ignore coding style on server.php