Lines Matching defs:getReplServerPort
482 servers.add("localhost:" + getReplServerPort(replServer1ID));
486 servers.add("localhost:" + getReplServerPort(replServer2ID));
490 servers.add("localhost:" + getReplServerPort(replServer3ID));
493 final int port = getReplServerPort(replServerId);
513 + getReplServerPort(replServerId)+"\n"
526 private int getReplServerPort(int replServerId) throws Exception
561 server2ID, 100, getReplServerPort(replServer1ID), 1000);
614 server2ID, 100, getReplServerPort(replServer1ID), 1000);
658 server2ID, 100, getReplServerPort(replServer1ID), 1000);
710 server2ID, 100, getReplServerPort(replServer1ID), 1000);
716 server3ID, 100, getReplServerPort(replServer1ID), 1000);
756 server2ID, 100, getReplServerPort(replServer1ID), 1000);
945 server2ID, 100, getReplServerPort(replServer2ID), 1000);
949 server3ID, 100, getReplServerPort(replServer2ID), 1000);
962 server3ID, 100, getReplServerPort(replServer2ID), 1000);
1005 server2ID, 100, getReplServerPort(replServer2ID), 1000);
1069 server2ID, 100, getReplServerPort(replServer2ID),
1081 server3ID, 100, getReplServerPort(replServer3ID),
1241 server2ID, 100, getReplServerPort(replServer1ID), 1000);