Closing per suggestion from Frank. Server crashes are often client crashes, so there is no particular action here (other than a UX change to make this distinction more obvious)
Closing per suggestion from Frank. Server crashes are often client crashes, so there is no particular action here (other than a UX change to make this distinction more obvious)