drm: implement get_display_name

This just allows the drm plugin to work if udev is disabled.

diff --git a/src/plugins/renderers/drm/plugin.c b/src/plugins/renderers/drm/plugin.c
index 065d95a49d801984f2b4f8e5bf051e88af3d26d6..b93e8e4453c69a840bff98891cd5cf73740d2f33 100644 (file)
--- a/src/plugins/renderers/drm/plugin.c
+++ b/src/plugins/renderers/drm/plugin.c
@@ -621,6 +621,12 @@ create_backend (const char     *device_name,
         return backend;
 }
 
+static const char *
+get_device_name (ply_renderer_backend_t *backend)
+{
+        return backend->device_name;
+}
+
 static void
 destroy_backend (ply_renderer_backend_t *backend)
 {
@@ -1285,7 +1291,8 @@ ply_renderer_backend_get_interface (void)
                 .get_input_source             = get_input_source,
                 .open_input_source            = open_input_source,
                 .set_handler_for_input_source = set_handler_for_input_source,
-                .close_input_source           = close_input_source
+                .close_input_source           = close_input_source,
+                .get_device_name              = get_device_name
         };
 
         return &plugin_interface;