Invalidate the secure channel when switching applications

git-svn-id: svn+ssh://localhost/home/henryk/svn/cyberflex-shell/trunk@20 f711b948-2313-0410-aaa9-d29f33439f0b

cards/cyberflex_card.py

@@ -154,6 +154,12 @@ class Cyberflex_Card(Java_Card):
         
         return True
     
+    def select_application(self, aid):
+        result = Java_Card.select_application(self, aid)
+        if self.last_sw == self.SW_OK and aid[:5] != DEFAULT_CARD_MANAGER_AID[:5]:
+            self.secure_channel_state = SECURE_CHANNEL_NONE
+        return result
+    
     def get_status(self, reference_control=0x20):
         """Sends a GetStatus APDU und returns the result.
         reference_control is either: