replaytool render: video driver option

1 files changed, 4 insertions, 2 deletions

diff --git a/server/replaytool/src/render.rs b/server/replaytool/src/render.rs
index 4bf9402c..74dddf92 100644
--- a/server/replaytool/src/render.rs
+++ b/server/replaytool/src/render.rs
@@ -28,6 +28,8 @@ pub async fn render(
     framerate: usize,
     headless: bool,
     rendering_driver: &str,
+    video_driver: &str,
+    headless_compositor: &str,
 ) -> Result<()> {
     let port = 27090;
     let ws_listener = TcpListener::bind(("127.0.0.1", port)).await?;
@@ -35,12 +37,12 @@ pub async fn render(
     let mut args = Vec::new();
     if headless {
         args.push("wlheadless-run");
-        args.extend(["-c", "mutter"]);
+        args.extend(["-c", headless_compositor]);
         args.push("--");
     }
     args.push("hurrycurry-client");
     if headless {
-        args.extend(["--video-driver", "wayland"]);
+        args.extend(["--video-driver", video_driver]);
         args.extend(["--rendering-driver", rendering_driver]);
     }
     args.extend(["--write-movie", output.to_str().unwrap()]);