set /proc/stb/hdmi/enable_hdmi_reset to 1 when a real DVI Mode is used and

set it to 0 when a hdmi mode is used ... without that DVI Modes are not
working (this needs drivers from today)

diff --git a/lib/python/Plugins/SystemPlugins/Videomode/VideoHardware.py b/lib/python/Plugins/SystemPlugins/Videomode/VideoHardware.py
index 43543bb..b9b5dca 100644 (file)
--- a/lib/python/Plugins/SystemPlugins/Videomode/VideoHardware.py
+++ b/lib/python/Plugins/SystemPlugins/Videomode/VideoHardware.py
@@ -146,6 +146,17 @@ class VideoHardware:
                if mode_60 is None or force == 50: 
                        mode_60 = mode_50
 
+               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."
+
                try:
                        open("/proc/stb/video/videomode_50hz", "w").write(mode_50)
                        open("/proc/stb/video/videomode_60hz", "w").write(mode_60)