/ping is blocking

It has a timeout, but it currently blocks for five whole seconds, which is quite awful.

• Changesets:
  • Revision 91fe1f5c by mathieui on 2013-10-06T16:03:24Z:

Fix #2356 (ping is blocking)