fixed a possible deadlock when switching to a channel which is not available

1 files changed, 3 insertions, 3 deletions

diff --git a/tvguideosd.h b/tvguideosd.h
index cc266ef..1e6a990 100644
--- a/tvguideosd.h
+++ b/tvguideosd.h
@@ -38,8 +38,8 @@ private:
   void processKeyRed();

   void processKeyGreen();

   void processKeyYellow();

-  eOSState processKeyBlue();

-  eOSState processKeyOk();

+  eOSState processKeyBlue(bool *alreadyUnlocked);

+  eOSState processKeyOk(bool *alreadyUnlocked);

   void processNumKey(int numKey);

   void TimeJump(int mode);

   void ChannelJump(int num);

@@ -51,7 +51,7 @@ private:
   void timeBack();

   void ScrollForward();

   void ScrollBack();

-  eOSState ChannelSwitch();

+  eOSState ChannelSwitch(bool *alreadyUnlocked);

   void DetailedEPG();

   void SetTimers();

   void dump();