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 | 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() |