41 def do_GET_json_examples(request):  argument
42   data_files = getFilesIn(request.server.data_dir)
45   request.send_response(200)
46   request.send_header('Content-Type', 'application/json')
47   request.send_header('Content-Length', len(files_as_json))
48   request.end_headers()
49   request.wfile.write(files_as_json)
52 def do_GET_json_examples_skp(request):  argument
53   data_files = getFilesIn(request.server.skp_data_dir)
56   request.send_response(200)
57   request.send_header('Content-Type', 'application/json')
58   request.send_header('Content-Length', len(files_as_json))
59   request.end_headers()
60   request.wfile.write(files_as_json)
79 def do_POST_report_test_results(request):  argument
80   request.send_response(200)
81   request.send_header('Content-Length', '0')
82   request.end_headers()
83   msg = request.rfile.read()
88 def do_POST_report_test_completion(request):  argument
89   request.send_response(200)
90   request.send_header('Content-Length', '0')
91   request.end_headers()
92   msg = request.rfile.read()
94   request.server.RequestShutdown(exit_code=(0 if 'ALL_PASSED' in msg else 1))