| | 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 | }}} |
