From fc2cc1ae2b56b5ecdbeffa7c05836200eb29cc0f Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Wed, 8 Jul 2020 02:59:36 +0100
Subject: [PATCH] include dataset.gplayer

but we are going to do this differently
---
 src/bin/server.rs | 15 ++++++++++-----
 1 file changed, 10 insertions(+), 5 deletions(-)

diff --git a/src/bin/server.rs b/src/bin/server.rs
index e8e0775c..f17c8778 100644
--- a/src/bin/server.rs
+++ b/src/bin/server.rs
@@ -97,12 +97,17 @@ fn session(form : Json<SessionForm>) -> Result<Template,OE> {
       let defs = pr.make_defs(&pri);
       alldefs.push((pri.id, defs));
 
+      let gplayer = match pr.held {
+        None => "".to_owned(),
+        Some(o) => format!("{}",o),
+      };
       uses.push(format!(
-        r##"<use id="{}" href="#{}" data-piece="{}" data-gplayer="" x="{}" y="{}"/>"##,
-                        pri.id_use(),
-                        pri.id_piece(),
-                        pri.id,
-                        pr.pos[0], pr.pos[1]));
+        r##"<use id="{}" href="#{}" data-piece="{}" data-gplayer="{}" x="{}" y="{}"/>"##,
+        pri.id_use(),
+        pri.id_piece(),
+        pri.id,
+        &gplayer,
+        pr.pos[0], pr.pos[1]));
     }
 
     let src = SessionRenderContext {
-- 
2.30.2