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 | # This Source Code Form is subject to the terms of the Mozilla Public |
michael@0 | 2 | # License, v. 2.0. If a copy of the MPL was not distributed with this |
michael@0 | 3 | # file, You can obtain one at http://mozilla.org/MPL/2.0/. |
michael@0 | 4 | |
michael@0 | 5 | |
michael@0 | 6 | IGNORED_FILE_PREFIXES = ["."] |
michael@0 | 7 | IGNORED_FILE_SUFFIXES = ["~", ".swp"] |
michael@0 | 8 | IGNORED_DIRS = [".git", ".svn", ".hg"] |
michael@0 | 9 | |
michael@0 | 10 | def filter_filenames(filenames, ignored_files=[".hgignore"]): |
michael@0 | 11 | for filename in filenames: |
michael@0 | 12 | if filename in ignored_files: |
michael@0 | 13 | continue |
michael@0 | 14 | if any([filename.startswith(suffix) |
michael@0 | 15 | for suffix in IGNORED_FILE_PREFIXES]): |
michael@0 | 16 | continue |
michael@0 | 17 | if any([filename.endswith(suffix) |
michael@0 | 18 | for suffix in IGNORED_FILE_SUFFIXES]): |
michael@0 | 19 | continue |
michael@0 | 20 | yield filename |
michael@0 | 21 | |
michael@0 | 22 | def filter_dirnames(dirnames): |
michael@0 | 23 | return [dirname for dirname in dirnames if dirname not in IGNORED_DIRS] |