I know Fedora 25 + GNOME will restart gnome-shell if it crashes. Not sure if it's implemented using a watchdog or if there's some listener for segfault events.

I know Fedora 25 + GNOME will restart gnome-shell if it crashes. Not sure if it's implemented using a watchdog or if there's some listener for segfault events. I know this because I have an unfixed and reproducible crashing bug in gnome-shell: 1) unplug my 4K monitor from HDMI 2) start up the Display tool in system settings