Bug 1379200 - Preserve the precision of a timestamp when converting it to string. r=bkelly
authorHo-Pang Hsu <hopang.hsu@gmail.com>
Tue, 12 Sep 2017 11:01:41 +0800
changeset 429792 ba4c92f6f9f17f1b85e6d7a8ef439aa68ba9f934
parent 429791 4bad774d13f21986ea327dd5836376a81f8a2334
child 429793 f4561375608bbbca3f3882bb6007ec7582e90ac5
push id7761
push userjlund@mozilla.com
push dateFri, 15 Sep 2017 00:19:52 +0000
treeherdermozilla-beta@c38455951db4 [default view] [failures only]
perfherder[talos] [build metrics] [platform microbench] (compared to previous push)
reviewersbkelly
bugs1379200
milestone57.0a1
first release with
nightly linux32
nightly linux64
nightly mac
nightly win32
nightly win64
last release without
nightly linux32
nightly linux64
nightly mac
nightly win32
nightly win64
Bug 1379200 - Preserve the precision of a timestamp when converting it to string. r=bkelly
testing/web-platform/tests/service-workers/service-worker/resources/bytecheck-worker-imported-script.py
testing/web-platform/tests/service-workers/service-worker/resources/bytecheck-worker.py
--- a/testing/web-platform/tests/service-workers/service-worker/resources/bytecheck-worker-imported-script.py
+++ b/testing/web-platform/tests/service-workers/service-worker/resources/bytecheck-worker-imported-script.py
@@ -5,15 +5,15 @@ def main(request, response):
                ('Cache-Control', 'max-age=0')]
 
     imported_content_type = ''
     if 'imported' in request.GET:
         imported_content_type = request.GET['imported']
 
     imported_content = 'default'
     if imported_content_type == 'time':
-        imported_content = time.time()
+        imported_content = '%f' % time.time()
 
     body = '''
     // %s
     ''' % (imported_content)
 
     return headers, body
--- a/testing/web-platform/tests/service-workers/service-worker/resources/bytecheck-worker.py
+++ b/testing/web-platform/tests/service-workers/service-worker/resources/bytecheck-worker.py
@@ -5,17 +5,17 @@ def main(request, response):
                ('Cache-Control', 'max-age=0')]
 
     main_content_type = ''
     if 'main' in request.GET:
         main_content_type = request.GET['main']
 
     main_content = 'default'
     if main_content_type == 'time':
-        main_content = time.time()
+        main_content = '%f' % time.time()
 
     imported_request_path = ''
     if 'path' in request.GET:
         imported_request_path = request.GET['path']
 
     imported_request_type = ''
     if 'imported' in request.GET:
         imported_request_type = request.GET['imported']