blob: e942fe650b96725acb89c0a71cfa5524c46d9f40 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
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;\
}();
|
