1. 09 Jul, 2015 1 commit
    • Don't pkill some services. · e50f8ebd
      Certain services will shutdown gracefully and so they may not be dead by the
      time this task is run.  Those services should not be explicitly killed since
      they may need to do things like finish a grading run or other instructor tasks.
      Feanil Patel committed
  2. 15 Aug, 2014 2 commits
  3. 11 Jun, 2014 1 commit
  4. 27 Jan, 2014 1 commit