hosts.config3

# Copyright (c) 2007-2013 Alysson Bessani, Eduardo Alchieri, Paulo Sousa, and the authors indicated in the @author tags
#
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
# You may obtain a copy of the License at
#
# http://www.apache.org/licenses/LICENSE-2.0
#
# Unless required by applicable law or agreed to in writing, software
# distributed under the License is distributed on an "AS IS" BASIS,
# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
# See the License for the specific language governing permissions and
# limitations under the License.

# This file defines the replicas ids, IPs and ports.
# It is used by the replicas and clients to find connection info
# to the initial replicas.
# The ports defined here are the ports used by clients to communicate
# with the replicas. Additional connections are opened by replicas to
# communicate with each other. This additional connection is opened in the
# next port defined here. For an example, consider the line "0 127.0.0.1 11000 11001".
# That means that clients will open a communication channel to replica 0 in
# IP 127.0.0.1 and port 11000. On startup, replicas with processNumber different than 0
# will open a communication channel to replica 0 in port 11001.
# The same holds for replicas 1, 2, 3 ... N.

#server processNumber, address and port (the ids from 0 to n-1 are the service replicas)

# OT usecase
#0 127.0.0.1 13000 13001 13002
#1 127.0.0.1 13010 13011 13012
#2 127.0.0.1 13020 13021 13022
#3 127.0.0.1 13030 13031 13032
#4 127.0.0.1 13040 13041 13042
#5 127.0.0.1 13050 13051 13052
#6 127.0.0.1 13060 13061 13062
#7 127.0.0.1 13070 13071 13072
#8 127.0.0.1 13080 13081 13082
#9 127.0.0.1 13090 13091 13092
#10 127.0.0.1 13100 13101 13102

# Test
0 127.0.0.1 13000 13001 13002
1 127.0.0.1 13010 13011 13012
2 127.0.0.1 13020 13021 13022


7002 127.0.0.1 12100