Since the PingManager is now in place, we could add a "Ping Server" button to
the UI, which triggers a ping and shows a indicator of the ping status:
success (green)
waiting for reply (orange)
no response (red)
I the latter case the pingFailedListeners will automatically be called, so that
we can take action upon it
Original issue reported on code.google.com by fschm...@gmail.com on 28 Aug 2012 at 12:39
Original issue reported on code.google.com by
fschm...@gmail.com
on 28 Aug 2012 at 12:39