More work on ping.py