Change format of MpiParams configuration from ports:#-# to ports=#-#

doc/html/mpi_guide.shtml

@@ -66,7 +66,7 @@ It relies upon SLURM version 2.0 (or higher) managing
 reservations of communication ports for the Open MPI's use.
 Specify the range of ports to be reserved in the <i>slurm.conf</i> 
 file using the <i>MpiParams</i> parameter.
-For example: <i>MpiParams=ports:12000-12999</i>.
+For example: <i>MpiParams=ports=12000-12999</i>.
 Then launch tasks using the <span class="commandline">srun</span> command 
 plus the option <i>--resv-ports</i>.
 The ports reserved on every allocated node will be identified in an 

doc/man/man5/slurm.conf.5

@@ -654,7 +654,7 @@ LAM MPI and Open MPI).
 \fBMpiParams\fR
 MPI parameters. 
 Used to identify ports used by OpenMPI only and the input format is
-"ports:1000-1234" to identify a range of communcation ports to be used.
+"ports=12000\-12999" to identify a range of communcation ports to be used.
 
 .TP
 \fBOverTimeLimit\fR

src/slurmctld/port_mgr.c

@@ -164,7 +164,7 @@ extern int reserve_port_config(char *mpi_params)
 	int i, p_min, p_max;
 
 	if (mpi_params)
-		tmp_p = strstr(mpi_params, "ports:");
+		tmp_p = strstr(mpi_params, "ports=");
 	if (tmp_p == NULL) {
 		if (port_resv_table) {
 			info("Clearing port reservations");