File: update_shell.py

package info (click to toggle)
firefox-esr 68.10.0esr-1~deb9u1
  • links: PTS, VCS
  • area: main
  • in suites: stretch
  • size: 3,143,932 kB
  • sloc: cpp: 5,227,879; javascript: 4,315,531; ansic: 2,467,042; python: 794,975; java: 349,993; asm: 232,034; xml: 228,320; sh: 82,008; lisp: 41,202; makefile: 22,347; perl: 15,555; objc: 5,277; cs: 4,725; yacc: 1,778; ada: 1,681; pascal: 1,673; lex: 1,417; exp: 527; php: 436; ruby: 225; awk: 162; sed: 53; csh: 44
file content (31 lines) | stat: -rw-r--r-- 1,097 bytes parent folder | download | duplicates (6) 
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
26
27
28
29
30
31
 
# This serves a different response to each request, to test service worker
# updates. If |filename| is provided, it writes that file into the body.
#
# Usage:
#   navigator.serviceWorker.register('update_shell.py?filename=worker.js')
#
# This registers worker.js as a service worker, and every update check
# will return a new response.
import os
import sys
import time

def main(request, response):
  # Set no-cache to ensure the user agent finds a new version for each update.
  headers = [('Cache-Control', 'no-cache, must-revalidate'),
             ('Pragma', 'no-cache'),
             ('Content-Type', 'application/javascript')]

  # Return a different script for each access.  Use .time() and .clock() for
  # best time resolution across different platforms.
  timestamp = '// %s %s' % (time.time(), time.clock())
  body = timestamp + '\n'

  # Inject the file into the response.
  if 'filename' in request.GET:
    path = os.path.join(os.path.dirname(__file__),
                        request.GET['filename'])
    with open(path, 'rb') as f:
      body += f.read()

  return headers, body