Hi,

I just added a python script that I created for my piCorePlayer setup to github:

https://github.com/andreas-volz/rpi_hdmi_display_onoff

Maybe it is helpful for anyone. It just controls the HDMI state by a timer and a GPIO signal.

regards
Andreas