Description of partition.conf
You use the partition.conf file to assign display names to partitions that are formed by the
IP Manager
. When
the topology is incomplete, the
IP Manager
creates partitions to allow analysis to proceed.By default, the
IP Manager
names a partition by
assigning it the name Partition-<
number
>, starting with 0, and incrementing this value by one for each new partition. The partition number is followed by the name of the Domain Manager that created the partition. For example, the
name of the first partition created by the
IP Availability Manager
named INCHARGE-AM is Partition-0/INCHARGE-AM, the second is Partition-1/INCHARGE-AM, and so on.You can create a more descriptive
name for a partition by using the partition.conf file to assign a DisplayName to the partition. The partition.conf file is shown in
Figure on page
.# partition.conf # # Users can specify DisplayName for partitions. # The first column is a hostname or IP Address. The rest is treated # as the DisplayName for the partition. # You could have multiple entries for one partition. The last one wins. # # The following line sets the DisplayName of the partition of which # router1 is a member to "Routers in NYC" # router1 Routers in NYC # # The following example shows how to set DisplayName of the partition # that consists of a network device that hosts IP address 10.64.1.1 # # 10.64.1.1 Servers in LA # # The following example shows how to set DisplayName of the partition # that consists of a network device that hosts IPv6 address # 3FFE:80C0:22C:101:219:56FF:FE3F:8A50 # # 3FFE:80C0:22C:101:219:56FF:FE3F:8A50 NY IPv6 Network
To name a Partition object, the
IP Manager
uses the value of the Name attribute for the object to set the value of the DisplayName attribute for the object. The
IP Manager
names a partition by assigning it the name Partition-<number>, starting with 0, and incrementing this value by one for each new partition.The partition number is followed by the
name of the
Domain Manager
that created the partition. For example, the name of the first partition created by and
IP Availability Manager
named INCHARGE-AM
is Partition-0/INCHARGE-AM, the second is Partition-1/INCHARGE-AM, and so on.To set the DisplayName of a partition, specify the hostname or IP address of a partition member followed by its name. You should specify a name or IP address that
is already known to the
IP Manager
. Specify one hostname or IP address and name combination on each line.In the partition.conf file in
Figure on page
, the DisplayName, “Servers in LA,” is associated with partition member “10.64.1.1”:10.64.1.1 Servers in LA
If you specify multiple names for a partition, which is done by providing separate entries, the last name listed is used.
You do not need to restart the
IP Manager
after making
a change to the partition.conf file. The
IP Manager
automatically loads the partition.conf file each time that it performs post-processing.