It was reported that even with all patches applied, PulseAudio still was being killed when unplugging the HDMI cable. I have now submitted a fix for this.
Here's the complete list of patches related to this bug that are not yet in master:
After these patches there still remains the problem that PulseAudio doesn't automatically move streams away from the HDMI sink when the HDMI cable is unplugged. I plan to fix that as well.
It was reported that even with all patches applied, PulseAudio still was being killed when unplugging the HDMI cable. I have now submitted a fix for this.
Here's the complete list of patches related to this bug that are not yet in master:
Jack detection fixes: /patchwork. freedesktop. org/patch/ 181163/ /patchwork. freedesktop. org/patch/ 181164/ /patchwork. freedesktop. org/patch/ 181165/
https:/
https:/
https:/
Infinite loop fixes (only the first patch is needed, but if there are still problems, the last two patches will make debugging easier): /patchwork. freedesktop. org/patch/ 195092/ /patchwork. freedesktop. org/patch/ 195091/ /patchwork. freedesktop. org/patch/ 195093/
https:/
https:/
https:/
After these patches there still remains the problem that PulseAudio doesn't automatically move streams away from the HDMI sink when the HDMI cable is unplugged. I plan to fix that as well.