1 files changed, 17 insertions, 0 deletions
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;\
+}();