New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

rest-frontend: add PID file config setting #1950

wants to merge 1 commit into
base: master


None yet
1 participant

markus2330 commented May 1, 2018


see #1949


Check relevant points but please do not remove entries.
For docu fixes, spell checking, and similar nothing
needs to be checked.

  • commit messages are fine ("module: short statement" syntax and refer to issues)
  • I added unit tests
  • I ran all tests locally and everything went fine
  • affected documentation is fixed
  • I added code comments, logging, and assertions (see doc/
  • meta data is updated (e.g. of plugins)
  • release notes are updated (doc/news/

@markus2330 please review my pull request

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment