Merge ~sylvain-pineau/plainbox-provider-resource:fix-1757359 into plainbox-provider-resource:master

[Sylvain Pineau]

Fixes linked bug

This patch reports both HDMI/DP if DP if detected in xrandr output

[Paul Larson (pwlars)]

seems ok, if that's indeed what we want. No apparent downside to reporting hdmi when we only know of dp? None that I can think of, just asking for someone who might be more familiar with the tests. +1 for how it works though.

review: Approve

diff --git a/bin/display_resource b/bin/display_resource
index 9ed0298..3148603 100755
--- a/bin/display_resource
+++ b/bin/display_resource
@@ -82,6 +82,12 @@ def main():
                 # (for both signal format and connector type).
                 supported_connections['hdmi'] = 'supported'
 
+    # HDMI ports are often reported as DP due to drivers/firmwares
+    # Let's assume both are present
+    # See https://bugs.launchpad.net/plainbox-provider-resource/+bug/1757359
+    if supported_connections['dp'] == 'supported':
+        supported_connections['hdmi'] = 'supported'
+
     for connector in supported_connections.items():
         print("{}: {}".format(connector[0], connector[1]))