diff options
Diffstat (limited to 'webserver.js')
-rwxr-xr-x | webserver.js | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/webserver.js b/webserver.js index f817016..71f6bcd 100755 --- a/webserver.js +++ b/webserver.js @@ -121,6 +121,8 @@ function buildPublicationsHTML(info) { res += ": “" + obj.title + "”."; seen.set("title", true); + if ("conference" in obj) res += " At " + obj.conference + "."; + seen.set("conference", true); if ("journal" in obj) res += " In " + obj.journal + "."; seen.set("journal", true); @@ -139,6 +141,7 @@ function buildPublicationsHTML(info) { const anchors = []; for (const link of obj.links) { let name, url; + const note = "note" in link ? " (" + link.note + ")" : ""; switch (link.type) { case "arxiv": name = "arxiv"; @@ -163,7 +166,7 @@ function buildPublicationsHTML(info) { default: throw new Error("Unknown publication link type " + link.type); } - anchors.push("<a href=\"" + url + "\" target=\"_blank\">" + name + "</a>"); + anchors.push("<a href=\"" + url + "\" target=\"_blank\">" + name + "</a>" + note); } res += anchors.join(", "); res += "]" |