--- device.c    2008-01-28 10:33:00.000000000 +0000
+++ device.c.new        2008-01-28 10:32:47.000000000 +0000
@@ -790,7 +790,7 @@ bool cDevice::SwitchChannel(int Directio
   return result;
 }

-eSetChannelResult cDevice::SetChannel(const cChannel *Channel, bool LiveView)
+eSetChannelResult cDevice::SetChannel(const cChannel *Channel, bool LiveView, cDevice *SpecificSourceDevice)
 {
   if (LiveView) {
      StopReplay();