tcp_address_from_shell(+Host, +UserId, +ServerFile, -Address)

This adds a UserId parameter, so that the machine that has the handle file need not have an account for every user that wishes to access it.

The UserId is an atom representing the login name of some account on the target machine Host.