Merge pull request #213 from cgeoffroy/pr/minimize_cli
authorpeusterm <manuel.peuster@uni-paderborn.de>
Wed, 12 Apr 2017 14:23:01 +0000 (16:23 +0200)
committerpeusterm <manuel.peuster@uni-paderborn.de>
Wed, 12 Apr 2017 14:23:01 +0000 (16:23 +0200)
Remove most of the active waits on the cli logs


Trivial merge