chiark / gitweb /
include dataset.gplayer
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 8 Jul 2020 01:59:36 +0000 (02:59 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 8 Jul 2020 01:59:36 +0000 (02:59 +0100)
but we are going to do this differently

src/bin/server.rs

index e8e0775cec66b939128ef7a98320318b89556593..f17c8778660d7966c7a05e5fdcfcafa95737b98d 100644 (file)
@@ -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 {