+ dvimode = (mode_50.find('x') != -1 or mode_60.find('x') != -1) and '1' or '0'
+ try:
+ open("/etc/dvimode", "w").write(dvimode) # use 50Hz mode (if available) for booting
+ except IOError:
+ print "writing initial dvimode to /etc/dvimode failed."
+
+ try:
+ open("/proc/stb/hdmi/enable_hdmi_reset", "w").write(dvimode)
+ except IOError:
+ print "setting dvimode failed."
+