From 20b373470fc4fa03cbeeb6e1b3dfb7bfb0494190 Mon Sep 17 00:00:00 2001
From: Victor Brekenfeld <github@drakulix.de>
Date: Sun, 3 May 2020 18:33:25 +0200
Subject: [PATCH] drm: permission denied is also temporary

---
 src/backend/drm/common/mod.rs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/backend/drm/common/mod.rs b/src/backend/drm/common/mod.rs
index cac25f5..ce7f8c2 100644
--- a/src/backend/drm/common/mod.rs
+++ b/src/backend/drm/common/mod.rs
@@ -78,6 +78,7 @@ impl Into<SwapBuffersError> for Error {
             x @ Error::DeviceInactive => SwapBuffersError::TemporaryFailure(Box::new(x)),
             Error::Access { errmsg, dev, source, .. }
                 if match source.get_ref() {
+                    drm::SystemError::PermissionDenied => true,
                     drm::SystemError::Unknown {
                         errno: nix::errno::Errno::EBUSY,
                     } => true,