Tvheadend

Hi,

using latest git head of kodi (master branch), pvr-hts and tvheadend (master branch) I saw tuning problems in the last weeks.
Yesterday I found some time to look into it and solved the problem by reverting this patch:
https://github.com/tvheadend/tvheadend/commit/d6bda752cc0ec5e3e3a7a00b082e660c4dccecb1
Based on the content of the patch I guessed it could be responsible for the problems
seen here and I had luck

Some infos about my system:
intel haswell i3-4330T, kernel 3.18.36, uClibc, x86

tuner (astra 19,2e only):
Bus 001 Device 002: ID 14f7:0500 TechniSat Digital GmbH DVB-PC TV Star HD

tvh options:
energy saving: active
universal lnb only
tune before diseqc: not active
full diseqc: active
turn of lnb if unused: active

This is a snippet of a failed tune request:

2016-07-22 19:47:08.343 [   INFO]:subscription: 0054: "127.0.0.1 [  | Kodi Media Center ]" subscribing on channel "EinsPlus HD", weight: 150, adapter: "Technisat SkyStar USB HD (DVB-S/S2) : DVB-S #0", network: "Astra 19.2E", mux: "11052.75H", provider: "AR
D", service: "EinsPlus HD", profile="htsp", hostname="127.0.0.1", username="127.0.0.1", client="Kodi Media Center" 
2016-07-22 19:47:20.227 [WARNING]:subscription: 0054: service instance is bad, reason: No input detected
2016-07-22 19:47:22.228 [ NOTICE]:subscription: 0054: No input source available for subscription "127.0.0.1 [  | Kodi Media Center ]" to channel "EinsPlus HD" 
2016-07-22 19:47:24.228 [ NOTICE]:subscription: 0054: No input source available for subscription "127.0.0.1 [  | Kodi Media Center ]" to channel "EinsPlus HD" 
2016-07-22 19:47:26.228 [ NOTICE]:subscription: 0054: No input source available for subscription "127.0.0.1 [  | Kodi Media Center ]" to channel "EinsPlus HD" 
2016-07-22 19:47:28.229 [ NOTICE]:subscription: 0054: No input source available for subscription "127.0.0.1 [  | Kodi Media Center ]" to channel "EinsPlus HD" 
2016-07-22 19:47:30.229 [ NOTICE]:subscription: 0054: No input source available for subscription "127.0.0.1 [  | Kodi Media Center ]" to channel "EinsPlus HD" 
2016-07-22 19:47:32.229 [ NOTICE]:subscription: 0054: No input source available for subscription "127.0.0.1 [  | Kodi Media Center ]" to channel "EinsPlus HD" 
2016-07-22 19:47:34.229 [ NOTICE]:subscription: 0054: No input source available for subscription "127.0.0.1 [  | Kodi Media Center ]" to channel "EinsPlus HD" 

I had no time to check whether switching between DVB-S and DVB-S2 transponders behaved differently,
to get a channel lock on some channels I had to tune several times between SD and HD channels back
and forth, after reverting the patch each tune request is again successful.