Update server.php

Removed undefined comment