Merge pull request #170 from stevenvanrossem/master
authorpeusterm <manuel.peuster@uni-paderborn.de>
Tue, 30 Aug 2016 09:25:34 +0000 (11:25 +0200)
committerpeusterm <manuel.peuster@uni-paderborn.de>
Tue, 30 Aug 2016 09:25:33 +0000 (11:25 +0200)
fix a bug in son-monitor (deleting flow metrics sometimes crashes)


Trivial merge