File: update-recovery-worker.py

package info (click to toggle)
firefox-esr 52.8.1esr-1~deb8u1
  • links: PTS, VCS
  • area: main
  • in suites: jessie
  • size: 1,983,244 kB
  • sloc: cpp: 4,810,275; ansic: 2,004,548; python: 451,282; java: 241,615; asm: 178,649; xml: 136,302; sh: 82,207; makefile: 22,575; perl: 15,783; objc: 4,389; yacc: 1,816; ada: 1,697; pascal: 1,519; lex: 1,257; cs: 879; exp: 499; php: 436; lisp: 258; awk: 152; sed: 51; ruby: 47; csh: 27
file content (25 lines) | stat: -rw-r--r-- 1,067 bytes parent folder | download | duplicates (12) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
 
def main(request, response):
    # Set mode to 'init' for initial fetch.
    mode = 'init'
    if 'update-recovery-mode' in request.cookies:
        mode = request.cookies['update-recovery-mode'].value

    # no-cache itself to ensure the user agent finds a new version for each update.
    headers = [('Cache-Control', 'no-cache, must-revalidate'),
               ('Pragma', 'no-cache')]

    extra_body = ''

    if mode == 'init':
        # Install a bad service worker that will break the controlled
        # document navigation.
        response.set_cookie('update-recovery-mode', 'bad')
        extra_body = "addEventListener('fetch', function(e) { e.respondWith(Promise.reject()); });"
    elif mode == 'bad':
        # When the update tries to pull the script again, update to
        # a worker service worker that does not break document
        # navigation.  Serve the same script from then on.
        response.delete_cookie('update-recovery-mode')

    headers.append(('Content-Type', 'application/javascript'))
    return headers, '%s' % (extra_body)