Added global options for toggling the use of port and proxy in server service.