Searched refs:rminame (Results 1 – 10 of 10) sorted by relevance
80 String rminame = null; in main() local101 rminame = arg.substring(2); in main()108 rminame = args[argc]; in main()131 if (rminame == null) { in main()132 rminame = "JStatRemoteHost"; in main()135 name.append("/").append(rminame); in main()145 if (rminame != null) { in main()146 System.out.println("Bad RMI server name: " + rminame); in main()
77 String rminame = null; in main() local103 rminame = arg.substring(2); in main()110 rminame = args[argc]; in main()133 if (rminame == null) { in main()134 rminame = "JStatRemoteHost"; in main()137 name.append("/").append(rminame); in main()149 if (rminame != null) { in main()150 System.out.println("Bad RMI server name: " + rminame); in main()
76 String rminame = null; in main() local102 rminame = arg.substring(2); in main()109 rminame = args[argc]; in main()132 if (rminame == null) { in main()133 rminame = "JStatRemoteHost"; in main()136 name.append("/").append(rminame); in main()148 if (rminame != null) { in main()149 System.out.println("Bad RMI server name: " + rminame); in main()
77 String rminame = null; in main() local115 rminame = arg.substring(2); in main()122 rminame = args[argc]; in main()145 if (rminame == null) { in main()146 rminame = "JStatRemoteHost"; in main()149 name.append("/").append(rminame); in main()161 if (rminame != null) { in main()162 System.out.println("Bad RMI server name: " + rminame); in main()