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)
commit658284fcf53773376320529919ea2c1bb79ef9be
treef9e627b7dda03cb94ae374c625ba3709d6ec0157
parent4d2adafe5cc63cc41a3b31785a787b8a16949fa7
parent4b8b82f112f7531e03843dd3f7534430315f9bc2
Merge pull request #170 from stevenvanrossem/master

fix a bug in son-monitor (deleting flow metrics sometimes crashes)