Fetching the server name via REST API, changed to 'headpin' from 'Headpin'
Merge pull request #871 from kbidarkar/fix-sam-login

 	Fetching the server name via REST API, has got changed to 'headpin' from 'Heapin'