1 files changed, 14 insertions, 0 deletions
diff --git a/js/comp/makemob.sed b/js/comp/makemob.sed
new file mode 100755
index 0000000..c934a4e
--- /dev/null
+++ b/js/comp/makemob.sed
@@ -0,0 +1,14 @@
+#!/bin/sed -nf
+# Usage: ./makemob.sed < mob.in > mob.js
+1i\
+var mob = function(){\
+  var mob = {};\
+  var mobs = {
+s/^\([0-9]\+\),[\t ]\+\([^\t ]\+\),.*/    \1:"\2",/p
+$i\
+  };\
+  mob.nameByServerID = function(serverID) {\
+    return serverID in mobs ? mobs[serverID] : "UNDEFINED";\
+  }\
+  return mob;\
+}();