tree 5cd815bfa02600079a9db0459a241acdfbe1a9c6
parent 0ca7e69023bbd8c6d4c2af3805d8da52e2a8e1cf
author Davide Pesavento <davide.pesavento@lip6.fr> 1533794144 -0400
committer Davide Pesavento <davide.pesavento@lip6.fr> 1533855225 -0400

pingserver: code cleanup

Change-Id: Ifdb75174f54aa26619594d4f1b919396a1012998