provided.rmiUtils
Interface IRMI_Defs

public interface IRMI_Defs

Definitions for use in RMI programs

Field Summary

static int	CLASS_SERVER_PORT_CLIENT Port used by the class server on the Client side.
static int	CLASS_SERVER_PORT_SERVER Port used by the class server on the Server side.
static int	REGISTRY_PORT Port used for Registry.

Field Detail

REGISTRY_PORT

static final int REGISTRY_PORT

Port used for Registry. Port 1099 is standard port. Non-standard port for RMI Registry required if used with DrJava Note that this port must be opened of inbound traffic on the server machine

See Also:

Constant Field Values

CLASS_SERVER_PORT_SERVER

static final int CLASS_SERVER_PORT_SERVER

Port used by the class server on the Server side.

See Also:

Constant Field Values

CLASS_SERVER_PORT_CLIENT

static final int CLASS_SERVER_PORT_CLIENT

Port used by the class server on the Client side. Must be different than CLASS_SERVER_PORT_SERVER to enable both client and server to run on same machine.

See Also:

Constant Field Values