dvbsrc cannot switch from HD to SD or SD to HD channels

Submitted by Russel Winder @Russel

Link to original bug (#766501)

Description

Using GStreamer and all plugins built from source as at 2016-05-16T05:30+01:00 using playbin to create a dvbsrc pipeline allows for SD or HD channels to be played. Switching between SD channels is fine. Switching between HD channels is fine. However trying to switch from SD to HD or from HD to SD causes an immediate tuning fail and pipeline crash.