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/
    to a different port. Changes will be effective after restart of the service.
  • For developers who build DM from source: edit ./pom.xml