Better cleanup in ping_pong example