dmiller 53f5f5652e Fix naming of Java RMI, which is not always the Registry ...

Added explanatory comments and links. The client endpoint identifier is
not the hostname (h// template) of the target. This could be any RMI
endpoint, such as `rmid` and not `rmiregistry`, so using "java-rmi"
instead of "rmiregistry" for the service name. Added port 10990
(rmiaux) based on IANA assignment.

Fixes #1342

2018-10-10 03:52:56 +00:00

2.3 MiB

Raw Blame History

View Raw