# This is for the server emulator on minnie.
127::210.48.107.133:80:::

Does that help?