The documentation says that inet_server_addr() does this, but on our servers it is returning nothing.