INTL 3:770/1 3:770/3   
   REPLYADDR address@is.invalid   
   REPLYTO 3:770/3.0 UUCP   
   MSGID:  1807f71b   
   REPLY:  23eb6c52   
   PID: SoupGate-Win32 v1.05   
   Joerg,   
      
   > Then there is nothing you can do about the pi, it's turned off.   
      
   :-) There is a moment before its shut down and powered off that its still   
   running.  That would be a splendid moment to have the RPi tell the TV that   
   it should switch its inputs away from the RPi, don't you think ?   
      
   > So you must check if there is a setting on your HDMI switch   
      
   What switch ?  You mean the one thats part of the TV ?  That one doesn't   
   have a settings panel I'm afraid.   
      
   Regards,   
   Rudy Wieser   
      
   --- SoupGate-Win32 v1.05   
    * Origin: Agency HUB, Dunedin - New Zealand | Fido<>Usenet Gateway (3:770/3)   
   SEEN-BY: 1/19 16/0 19/37 80/1 90/1 105/81 106/201 123/130 129/305   
   SEEN-BY: 142/104 153/757 7715 203/0 218/700 840 220/70 221/1 6 242   
   SEEN-BY: 221/360 226/17 30 100 227/114 229/110 111 114 200 206 300   
   SEEN-BY: 229/317 400 426 428 470 550 616 664 700 230/0 240/5832 266/512   
   SEEN-BY: 267/800 280/5003 282/1038 291/111 292/854 301/1 310/31 320/119   
   SEEN-BY: 320/219 319 2119 322/757 762 325/304 335/364 341/66 342/200   
   SEEN-BY: 396/45 423/81 460/58 633/280 712/848 770/1 3 100 330 340   
   SEEN-BY: 772/210 220 230 5020/400 5053/58 5058/104 5075/35   
   PATH: 770/3 1 218/840 221/6 1 320/219 229/426