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)
commit5b6f13cd51ead3eb99b2c4160ca3236f4884d95a
tree6b57833bca562d998eeeb75f1db4467b02c3eab0
parentee5179f161d10b35a8a73f495ca3692fda9b2e71
parent7bb91b109ffc36026d55cdd67943ec01808f0c24
Merge pull request #213 from cgeoffroy/pr/minimize_cli

Remove most of the active waits on the cli logs