eden-emu/Catch2
15
0
Fork 0
mirror of https://github.com/catchorg/Catch2.git synced 2025-06-06 23:40:55 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Move all scripts to Python3

Browse source
This commit is contained in:
Martin Hořeňovský 2020-03-19 12:36:30 +01:00
parent d3c0b36487
commit 0d8eeec557
No known key found for this signature in database
GPG key ID: DE48307B8B0D381A
14 changed files with 17 additions and 13 deletions
Download patch file Download diff file Expand all files Collapse all files

4
tools/scripts/updateWandbox.py
View file

@ -3,10 +3,14 @@
import json
import os
import urllib.request
import urllib.parse
from scriptCommon import catchPath
def upload(options):
# request_blah = urllib.request.Request('https://
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')