3rd-party/catch2
1
0
Fork 0
mirror of https://github.com/catchorg/Catch2.git synced 2024-11-22 05:16:10 +01:00
Code Issues Packages Projects Releases Wiki Activity

Update wandbox script to use https endpoint and Python3

Browse Source
This commit is contained in:
Martin Hořeňovský 2020-03-19 12:32:34 +01:00
parent 95a2e54702
commit d3c0b36487
No known key found for this signature in database
GPG Key ID: DE48307B8B0D381A
1 changed files with 8 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
tools/scripts/updateWandbox.py
View File

@ -1,16 +1,18 @@
#!/usr/bin/env python
#!/usr/bin/env python3
import json
import os
import urllib2
import urllib.request
from scriptCommon import catchPath
def upload(options):
request = urllib2.Request('http://melpon.org/wandbox/api/compile.json')
request.add_header('Content-Type', 'application/json')
response = urllib2.urlopen(request, json.dumps(options))
return json.loads(response.read())
request = urllib.request.Request('https://melpon.org/wandbox/api/compile.json', method='POST')
json_bytes = json.dumps(options).encode('utf-8')
request.add_header('Content-Type', 'application/json; charset=utf-8')
request.add_header('Content-Length', len(json_bytes))
response = urllib.request.urlopen(request, json_bytes)
return json.loads(response.read().decode('utf-8'))
main_file = '''
#define CATCH_CONFIG_MAIN // This tells Catch to provide a main() - only do this in one cpp file