Thu, 15 Jan 2015 15:59:08 +0100
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 | for f in sys.argv[1:]: |
michael@0 | 7 | print "Parsing %s" % f |
michael@0 | 8 | fd = open(f, 'rU') |
michael@0 | 9 | s = fd.read() |
michael@0 | 10 | fd.close() |
michael@0 | 11 | stmts = pymake.parser.parsestring(s, f) |
michael@0 | 12 | print stmts |