tree 72a8fd8dcdcec4a7349bf8858b4938976ca75231
parent 0ef3877f096e85183a63298674736e14c46da1bd
parent 300e1e54aefeace41e0f2785c82daccb3dc50357
author stevenvanrossem <steven.vanrossem@intec.ugent.be> 1461356452 +0200
committer stevenvanrossem <steven.vanrossem@intec.ugent.be> 1461356452 +0200

Merge pull request #85 from stevenvanrossem/master

update monitoring features of the emulator