org.objectweb.carol.jndi.ns
Class JRMPRegistry
java.lang.Object
org.objectweb.carol.jndi.ns.JRMPRegistry
- NameService
public class JRMPRegistry
extends java.lang.Object
Class JRMPRegistry
Version:
- Guillaume Riviere (Guillaume.Riviere@inrialpes.fr)
static int | port - port number (1099 for default)
|
static Registry | registry - registry
|
int | getPort()
|
static boolean | isLocal() - isStarted Method, check if a name service is local
|
boolean | isStarted() - isStarted Method, check if a name service is started
|
void | setPort(int p) - set port method, set the port for the name service
|
void | start() - start Method, Start a new NameService or do nothing if the name service
is all ready start
|
void | stop() - stop Method, Stop a NameService or do nothing if the name service is all
ready stop
|
port
public static int port
port number (1099 for default)
registry
public static Registry registry
registry
isLocal
public static boolean isLocal()
isStarted Method, check if a name service is local
- boolean true if the name service is local
isStarted
public boolean isStarted()
isStarted Method, check if a name service is started
- isStarted in interface NameService
- boolean true if the name service is started
setPort
public void setPort(int p)
set port method, set the port for the name service
- setPort in interface NameService