Fetching the server name via REST API, changed to 'headpin' from 'Headpin'