RMI Registry Settings
You can customize the settings for the RMI registry.
To modify the settings:
- Choose Tools
Options
from the main window.
- Expand the node for IDE Configuration.
- Expand the node for Distributed Application Support.
- Expand the node for RMI Settings and select Registry.
The Properties pane contains the following properties:
- Internal Registry Port. Port number for the local registry.
- Refresh Time. Time between updates of the registry. If the
value is 0, no updates are performed.
Legal Notices