diff options
Diffstat (limited to 'tools/populate.py')
-rwxr-xr-x | tools/populate.py | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/tools/populate.py b/tools/populate.py deleted file mode 100755 index 4c9f9440..00000000 --- a/tools/populate.py +++ /dev/null @@ -1,17 +0,0 @@ -#!/usr/bin/python - -import requests -import json -import sys - -for benchmark, results in json.load(sys.stdin).items(): - for result in results: - print('Populating: %s, %s' % (benchmark, result['MachineId'])) - - if not result.get('Legacy', True): - if not 'PointerBits' in result: result['PointerBits'] = 64 - - r = requests.post('http://localhost:1234/benchmark.json', json={benchmark: result}) - if not r.ok: - raise IOError("%s %d (%s)" % (r.reason, r.status_code, r.text.strip())) - |