Skip to content

Make server and ip configurable

Tamas Gal requested to merge make-server-and-ip-configurable into master

This adds the possibility to configure a different server for a KM3NeT service.

@dguderian this will fix km3services

Merge request reports