build/pymake/mkformat.py@ac0c01689b40
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.
1 #!/usr/bin/env python
3 import sys
4 import pymake.parser
6 filename = sys.argv[1]
7 source = None
9 with open(filename, 'rU') as fh:
10 source = fh.read()
12 statements = pymake.parser.parsestring(source, filename)
13 print statements.to_source()
