Update Server.php

The formatting was off.