jmeter-commits mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From fschumac...@apache.org
Subject svn commit: r1785005 - /jmeter/trunk/xdocs/usermanual/properties_reference.xml
Date Wed, 01 Mar 2017 17:29:32 GMT
Author: fschumacher
Date: Wed Mar  1 17:29:32 2017
New Revision: 1785005

URL: http://svn.apache.org/viewvc?rev=1785005&view=rev
Log:
Use ordered list correctly.

Modified:
    jmeter/trunk/xdocs/usermanual/properties_reference.xml

Modified: jmeter/trunk/xdocs/usermanual/properties_reference.xml
URL: http://svn.apache.org/viewvc/jmeter/trunk/xdocs/usermanual/properties_reference.xml?rev=1785005&r1=1785004&r2=1785005&view=diff
==============================================================================
--- jmeter/trunk/xdocs/usermanual/properties_reference.xml (original)
+++ jmeter/trunk/xdocs/usermanual/properties_reference.xml Wed Mar  1 17:29:32 2017
@@ -280,10 +280,10 @@ gui.quick_9=ViewResultsFullVisualizer
     RMI port to be used by the server (must start <code>rmiregistry</code> with
same port).
     To change the port to (say) <code>1234</code>:<br/>
     On the server(s):
-    <ul>
-        <ol><code>set server_port=1234</code></ol>
-        <ol>start <code>rmiregistry</code> with port <code>1234</code></ol>
-    </ul>
+    <ol>
+        <li><code>set server_port=1234</code></li>
+        <li>start <code>rmiregistry</code> with port <code>1234</code></li>
+    </ol>
     On Windows this can be done by:
     <source>SET SERVER_PORT=1234
 JMETER-SERVER</source>



Mime
View raw message