Skip to content
This repository has been archived by the owner on Jan 31, 2020. It is now read-only.

Add --pidfile option to devserver #17

Merged
merged 3 commits into from
Feb 6, 2015
Merged

Add --pidfile option to devserver #17

merged 3 commits into from
Feb 6, 2015

Commits on Feb 6, 2015

  1. Add --pidfile option to devserver

    @mkiwala
    mkiwala committed Feb 6, 2015
    Configuration menu
    Copy the full SHA
    063425b View commit details
    Browse the repository at this point in the history

  2. Save pidfile location after pidfile has been saved

    @mkiwala
    mkiwala committed Feb 6, 2015
    Configuration menu
    Copy the full SHA
    7e903df View commit details
    Browse the repository at this point in the history

  3. Remediate flake complaints

    @mkiwala
    mkiwala committed Feb 6, 2015
    Configuration menu
    Copy the full SHA
    ed87aaf View commit details
    Browse the repository at this point in the history