Version 1 (modified by JuergeN, 13 years ago) (diff) |
---|
The default port of the webservice is 8080. If you need to change it, then do one the following:
- For the enduser (binary distribution): edit ./conf/config.properties
org.osgi.service.http.port=8080
to a different port. Changes will be effective after restart of the service.
- For developers who build DM from source: edit ./pom.xml
<profiles> <profile> <id>run</id> ... <properties> <org.osgi.service.http.port>8080</org.osgi.service.http.port>