| 1 | The default port of the webservice is 8080. If you need to change it, then do one the following: |
| 2 | |
| 3 | * For the enduser (binary distribution): edit ''./conf/config.properties'' |
| 4 | {{{ |
| 5 | org.osgi.service.http.port=8080 |
| 6 | }}} |
| 7 | to a different port. Changes will be effective after restart of the service. |
| 8 | |
| 9 | * For developers who build DM from source: edit ''./pom.xml'' |
| 10 | {{{ |
| 11 | <profiles> |
| 12 | <profile> |
| 13 | <id>run</id> |
| 14 | ... |
| 15 | <properties> |
| 16 | <org.osgi.service.http.port>8080</org.osgi.service.http.port> |
| 17 | }}} |