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 | var x = -false; |
michael@0 | 2 | switch(x) { |
michael@0 | 3 | case 11: |
michael@0 | 4 | let y = 42; |
michael@0 | 5 | } |
michael@0 | 6 | switch(x) { |
michael@0 | 7 | case 11: |
michael@0 | 8 | let y = 42; |
michael@0 | 9 | let z = 'ponies'; |
michael@0 | 10 | } |
michael@0 | 11 | switch(x) { |
michael@0 | 12 | case 11: |
michael@0 | 13 | let y = 42; |
michael@0 | 14 | let z = 'ponies'; |
michael@0 | 15 | let a = false; |
michael@0 | 16 | } |