tree a3e0a6c129bbfeb264e6c40aa5dd28f1e31f8506
parent 6bdfe524ca609e40df322465abe287f518ad7190
author Bernd Fondermann <bernd@brainlounge.de> 1372776396 +0200
committer Bernd Fondermann <bernd@brainlounge.de> 1372776396 +0200

make ping result handling resistant against concurrent modification, especially when the XmppPinger is removing himself upon notification