3rd-party/catch2
1
0
Fork 0
mirror of https://github.com/catchorg/Catch2.git synced 2024-12-26 12:43:31 +01:00
Code Issues Packages Projects Releases Wiki Activity

Update updateWandbox script to account for the new Wandbox API response

Browse Source
This commit is contained in:
Martin Hořeňovský 2019-10-20 20:55:59 +02:00
parent 407ee0af2f
commit 4eea438b73
No known key found for this signature in database
GPG Key ID: DE48307B8B0D381A
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
scripts/updateWandbox.py
View File

@ -41,7 +41,7 @@ def uploadFiles():
'save': True
})
if 'status' in response and 'compiler_error' not in response:
if 'url' in response and 'compiler_error' not in response:
return True, response['url']
else:
return False, response