mirror of
https://github.com/baldurk/renderdoc.git
synced 2026-05-05 09:30:44 +00:00
f8bbedeb8b
* This lets us detect when a remote server has been disconnected and needs to be restarted, as well as alerting the user if this happens in the middle of a replay session. * Pinging other hosts means the context switcher is reasonably up to date if one of them comes up.