Skip to content

Set default worker in server.py (fix issue #127)

Vincent Michel requested to merge issue-127 into develop

TODO: add a test

Merge request reports