org.objectweb.carol.jndi.ns
Class JeremieRegistry
java.lang.Object
org.objectweb.carol.jndi.ns.JeremieRegistry
- NameService
public class JeremieRegistry
extends java.lang.Object
Class JeremieRegistry
Version:
- Guillaume Riviere (Guillaume.Riviere@inrialpes.fr)
int | port - port number ( 12340 for default)
|
Registry | registry - registry
|
int | getPort()
|
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 int port
port number ( 12340 for default)
registry
public Registry registry
registry
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