hosts.config1

# 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 11000 11001 11002
#1 127.0.0.1 11010 11011 11012
#2 127.0.0.1 11020 11021 11022
#3 127.0.0.1 11030 11031 11032
#4 127.0.0.1 11040 11041 11042
#5 127.0.0.1 11050 11051 11052
#6 127.0.0.1 11060 11061 11062

# Test
0 127.0.0.1 11000 11001 11002
1 127.0.0.1 11010 11011 11012

7001 127.0.0.1 11100