public class JRMIRegistry extends Object
Usage: java
org.objectweb.jeremie.services.registry.JRMIRegistry
[-help] | [-v | -verbose] [portnumber]
The optional port number indicates a specific port number for accessing the
registry. If not specified, the port defaults to the value defined under the name
"/jeremie/registry/default_port" in the
bootstrap configuration
.
If the value is not set, the port used is 12340.
A registry can be accessed by applications in a number of ways:
public static void main(String[] args)
args
- options to the registry.