Default mirror port should be different from default proxy port

[asfimport]

Sebb (Bug 51892):
The default mirror port and default proxy port are both currently set to 8080.

This can be a minor nuisance if one wants to use both.

It might make sense to change the default mirror port to (say) 8081 (this should also apply to the stand-alone mirror).

This would allow one to leave the stand-alone mirror running but still be able to use the JMeter proxy.

Severity: minor
OS: Windows XP

[asfimport]

@pmouawad (migrated from Bugzilla):
Fixed in 2.5.2.

Modified:
jakarta/jmeter/trunk/bin/jmeter.properties
jakarta/jmeter/trunk/src/protocol/http/org/apache/jmeter/protocol/http/control/HttpMirrorControl.java
jakarta/jmeter/trunk/src/protocol/http/org/apache/jmeter/protocol/http/control/HttpMirrorServer.java
jakarta/jmeter/trunk/xdocs/changes.xml
jakarta/jmeter/trunk/xdocs/usermanual/component_reference.xml