• The OS recognizes the development server name correctly. It seems like everything recognizes it correctly except @@servername.