blob: 561530b6c47dd37b89cf9af780b6c6baf67da7fe (
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;\
}();
|
