# HG changeset patch # User Atul Varma # Date 1211958227 25200 # Node ID 3472b1ded8173cf11bfe71a195b3bf8f5e7add57 # Parent 892bcd85b96f4019224d059514ca577ab06f5e18 Added make_json_files.py. diff -r 892bcd85b96f -r 3472b1ded817 make_json_files.py --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/make_json_files.py Wed May 28 00:03:47 2008 -0700 @@ -0,0 +1,21 @@ +import os +import sys +import base64 + +if __name__ == "__main__": + if len(sys.argv) != 2: + print "usage: %s " % sys.argv[0] + sys.exit(1) + basedir = sys.argv[1] + for dirpath, dirnames, filenames in os.walk(basedir): + filenames = [name for name in filenames + if not name.endswith(".js")] + for name in filenames: + fullpath = os.path.join(dirpath, name) + newfile = "%s.js" % fullpath + print "Creating %s" % newfile + contents = open(fullpath, "rb").read() + js_contents = "processBase64Zcode('%s');" % ( + base64.b64encode(contents) + ) + open(newfile, "w").write(js_contents) diff -r 892bcd85b96f -r 3472b1ded817 zcode_to_js_array.py --- a/zcode_to_js_array.py Tue May 27 23:55:24 2008 -0700 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,12 +0,0 @@ -import os -import sys -import base64 - -if __name__ == "__main__": - if len(sys.argv) != 2: - print "usage: %s " % sys.argv[0] - sys.exit(-1) - contents = open(sys.argv[1], "rb").read() - print "processBase64Zcode('%s');" % ( - base64.b64encode(contents) - )