Thanks AtTimesPerplexed.
@<anybody else who might be testing>: can we please have at least one more confirmation that the patch is effective. After that, I will add to mantis, create the branch in Git, and merge to master so this will be fixed in MP 1.3b.
Looks like you've got a different issue going on there that is preventing you from even hitting the issue described here - more like the issue described -->here<--. A workaround that should enable you to test this fix would be to pick a channel and delete all except one tuning detail. Then after a TV Server restart it should be possible to tune that channel.
Right, that is good enough for me!
Thread marked as bug.
Issue is in mantis: 3926 (targetted for MP 1.3b).
I'll commit the fix when I get home in a few hours.
*Thank you* to everyone who has helped to sort this out.