File: service-worker-header.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 (20 lines) | stat: -rw-r--r-- 774 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
 
def main(request, response):
  service_worker_header = request.headers.get('service-worker')

  if 'header' in request.GET and service_worker_header != 'script':
    return 400, [('Content-Type', 'text/plain')], 'Bad Request'

  if 'no-header' in request.GET and service_worker_header == 'script':
    return 400, [('Content-Type', 'text/plain')], 'Bad Request'

  # 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'),
             ('Content-Type', 'application/javascript')]
  body = '/* This is a service worker script */\n'

  if 'import' in request.GET:
    body += "importScripts('%s');" % request.GET['import']

  return 200, headers, body