Closed GoogleCodeExporter closed 9 years ago
Fix committed. One can define a custom RMI host via the following property in
services.properties file:
# RMI port to use for advertising JMX services
replicator.rmi_port=12010
# Remove comment if custom host is needed below:
#replicator.rmi_host=customhost
Note: services.properties shall be removed in the future, but rmi_host should
be customizable in some other file together with rmi_port then. Currentl
rmi_port is ignored if defined in static-replicator.properties file.
Original comment by linas.vi...@gmail.com
on 23 May 2011 at 10:13
Original comment by linas.vi...@gmail.com
on 24 May 2011 at 7:48
Original issue reported on code.google.com by
linas.vi...@gmail.com
on 10 May 2011 at 10:41