Whitespace changes.
Makes server ignore PID file argument.