INTL 3:770/1 3:770/3   
   REPLYADDR address@is.invalid   
   REPLYTO 3:770/3.0 UUCP   
   MSGID:  330ee307   
   REPLY:  84293e55   
   PID: SoupGate-Win32 v1.05   
   Russel,   
      
   > It might be worth trying "vcgencmd display_power 0" at that   
   > point,which I think effectively stops the HDMI output,   
   ...   
   > it's "vcgencmd display_power 1" to get the picture back   
      
   :-)  And how would I be able to see what I was typing, with HDMI having been   
   switched off ?   
      
   Yes, I also thought of such a solution.  But :   
      
   1) It looks like that shutting- and powering-down the RPi should be "rather   
   effective" in stopping the HDMI output.  And when I do I get a "no signal"   
   message on my TV, confirming it.   
      
   2) looking at a black screen while trying to figure out if the RPi really   
   did shut down isn't really a situation I want to find myself in.   
      
   Being able to instruct the TV to switch away from the RPi gives the best of   
   both worlds.  In doubt I than can have the TV switch back to the RPi and   
   check if it really shut down.   
      
   Regards,   
   Rudy Wieser   
      
   --- SoupGate-Win32 v1.05   
    * Origin: Agency HUB, Dunedin - New Zealand | Fido<>Usenet Gateway (3:770/3)   
   SEEN-BY: 90/1 105/81 106/201 129/305 153/757 7715 218/700 840 220/70   
   SEEN-BY: 221/1 6 242 360 226/17 30 100 227/114 229/110 111 114 200   
   SEEN-BY: 229/206 300 317 400 426 428 470 550 616 664 700 230/0 266/512   
   SEEN-BY: 267/800 280/5003 282/1038 291/111 292/854 2226 8125 301/1   
   SEEN-BY: 310/31 320/219 322/757 335/364 341/66 342/200 396/45 410/9   
   SEEN-BY: 423/81 460/58 633/280 712/848 770/1 3 100 330 340 772/210   
   SEEN-BY: 772/220 230 5020/400 5058/104 5075/35   
   PATH: 770/3 1 218/840 221/6 1 292/854 229/426