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)
commit4d2adafe5cc63cc41a3b31785a787b8a16949fa7
tree2db20b18b0ab72246b271e3e43d47d458e39ef0b
parent9f63bc6aa2ff027d6f9eb904308cb4e93ca16c5e
parentb7715d3a34e3dac8ae19ce54ca99ec31937658e4
Merge pull request #169 from stevenvanrossem/master

fix bugs in monitor commands