From 39447923ad65c10fc0e7864f5e0aca1476ef8eda Mon Sep 17 00:00:00 2001
From: Freeyorp <TheFreeYorp@NOSPAM.G.m.a.i.l.replace>
Date: Sun, 31 Mar 2013 17:05:51 +1300
Subject: Map name mappings. Label map names on map chart.

This closes #003.
---
 js/comp/makemap.sed | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)
 create mode 100755 js/comp/makemap.sed

(limited to 'js/comp/makemap.sed')

diff --git a/js/comp/makemap.sed b/js/comp/makemap.sed
new file mode 100755
index 0000000..561530b
--- /dev/null
+++ b/js/comp/makemap.sed
@@ -0,0 +1,17 @@
+#!/bin/sed -nf
+# Usage: ./makemap.sed < map.in > map.js
+1i\
+var map = function(){\
+  var map = {};\
+  var maps = {
+/^Loading Maps/,/^Maps Loaded/ {
+  s/^Loading Maps \[\([0-9]\+\)\/[0-9]\+\]: data\\\(.*\)\.gat/    "\1": "\2",/p;
+}
+$i\
+  };\
+  map.nameByServerID = function(serverID, date) {\
+    /* TODO: Merged output format suitable for converting records running under different data */\
+    return maps[serverID];\
+  }\
+  return map;\
+}();
-- 
cgit v1.2.3-60-g2f50