Slight change to the way server name is established for console.py