build/pymake/mkformat.py

Thu, 15 Jan 2015 15:59:08 +0100

author
Michael Schloh von Bennewitz <michael@schloh.com>
date
Thu, 15 Jan 2015 15:59:08 +0100
branch
TOR_BUG_9701
changeset 10
ac0c01689b40
permissions
-rwxr-xr-x

Implement a real Private Browsing Mode condition by changing the API/ABI;
This solves Tor bug #9701, complying with disk avoidance documented in
https://www.torproject.org/projects/torbrowser/design/#disk-avoidance.

michael@0 1 #!/usr/bin/env python
michael@0 2
michael@0 3 import sys
michael@0 4 import pymake.parser
michael@0 5
michael@0 6 filename = sys.argv[1]
michael@0 7 source = None
michael@0 8
michael@0 9 with open(filename, 'rU') as fh:
michael@0 10 source = fh.read()
michael@0 11
michael@0 12 statements = pymake.parser.parsestring(source, filename)
michael@0 13 print statements.to_source()

mercurial