tree 2db20b18b0ab72246b271e3e43d47d458e39ef0b
parent 9f63bc6aa2ff027d6f9eb904308cb4e93ca16c5e
parent b7715d3a34e3dac8ae19ce54ca99ec31937658e4
author peusterm <manuel.peuster@uni-paderborn.de> 1472229041 +0200
committer peusterm <manuel.peuster@uni-paderborn.de> 1472229041 +0200

Merge pull request #169 from stevenvanrossem/master

fix bugs in monitor commands