[ofa-general] [PATCH] opensm/opensm.8.in: Indicate default rule for Default partition

[Hal Rosenstock]

Also, similar change to doc/partition-config.txt

Signed-off-by: Hal Rosenstock <hal.rosenstock at gmail.com>
---
diff --git a/opensm/doc/partition-config.txt b/opensm/doc/partition-config.txt
index f855268..ae3d6f6 100644
--- a/opensm/doc/partition-config.txt
+++ b/opensm/doc/partition-config.txt
@@ -3,10 +3,13 @@ OpenSM Partition configuration
 
 The default name of OpenSM partitions configuration file is
 '/etc/opensm/partitions.conf'. The default may be changed by
-using --Pconfig (-P) option with OpenSM.
+using the --Pconfig (-P) option with OpenSM.
 
 The default partition will be created by OpenSM unconditionally even
 when partition configuration file does not exist or cannot be accessed.
+Effectively, this amounts to the same as if the following line appears in the
+partitions config file:
+Default=0x7fff : ALL=limited, SELF=full ;
 
 The default partition has P_Key value 0x7fff. OpenSM's port will have
 full membership in default partition. All other end ports will have
diff --git a/opensm/man/opensm.8.in b/opensm/man/opensm.8.in
index fcdc168..caee2ef 100644
--- a/opensm/man/opensm.8.in
+++ b/opensm/man/opensm.8.in
@@ -1,4 +1,4 @@
-.TH OPENSM 8 "September 3, 2009" "OpenIB" "OpenIB Management"
+.TH OPENSM 8 "September 13, 2009" "OpenIB" "OpenIB Management"
 
 .SH NAME
 opensm \- InfiniBand subnet manager and administration (SM/SA)
@@ -418,11 +418,15 @@ logrotate purposes.
 .SH PARTITION CONFIGURATION
 .PP
 The default name of OpenSM partitions configuration file is
-\fB\%@OPENSM_CONFIG_DIR@/@PARTITION_CONFIG_FILE@\fP. The default may be changed by using
---Pconfig (-P) option with OpenSM.
+\fB\%@OPENSM_CONFIG_DIR@/@PARTITION_CONFIG_FILE@\fP. The default may be changed
+by using the --Pconfig (-P) option with OpenSM.
 
 The default partition will be created by OpenSM unconditionally even
 when partition configuration file does not exist or cannot be accessed.
+Effectively, this amounts to the same as if the following line appears in the
+partitions config file:
+
+Default=0x7fff : ALL=limited, SELF=full ;
 
 The default partition has P_Key value 0x7fff. OpenSM\'s port will have
 full membership in default partition. All other end ports will have