Hi Vladi,
I was looking at how the server name in the user session is being set. Attached is the screen shot for your reference. In this case it is shown as FQDN , but in some case it is only host name.
Thanks
Dhayaanandh P