Merge pull request #169 from stevenvanrossem/master
authorpeusterm <manuel.peuster@uni-paderborn.de>
Fri, 26 Aug 2016 16:30:41 +0000 (18:30 +0200)
committerpeusterm <manuel.peuster@uni-paderborn.de>
Fri, 26 Aug 2016 16:30:41 +0000 (18:30 +0200)
fix bugs in monitor commands


Trivial merge