Lines Matching refs:port
35 private static int port;
47 port = Registry.REGISTRY_PORT;
48 tmp = System.getProperty("sun.jvm.hotspot.rmi.port");
51 port = Integer.parseInt(tmp);
53 System.err.println("invalid port supplied, assuming default");
69 LocateRegistry.createRegistry(port);
92 // debugServerID follows the pattern [unique_id@]host[:port]
93 // we have to transform this as //host[:port]/<serverNamePrefix>['_'<unique_id>]
126 if (port != Registry.REGISTRY_PORT) {
127 name = "//localhost:" + port + "/" + name;