🔧 set Wandbox script to use HTTPS

This commit is contained in:
Niels Lohmann 2020-05-12 14:37:22 +02:00
parent 1de30bc611
commit afc30a14a7
No known key found for this signature in database
GPG key ID: 7F3CEA63AE251B69
15 changed files with 13 additions and 18 deletions

View file

@ -1 +1 @@
<a target="_blank" href="https://wandbox.org/permlink/Zh3iTnZNxsSgBvm3"><b>online</b></a> <a target="_blank" href="https://wandbox.org/permlink/PjhAXOF8TTuwibn6"><b>online</b></a>

View file

@ -1 +1 @@
<a target="_blank" href="https://wandbox.org/permlink/xKAi3HGAdCU5y2dS"><b>online</b></a> <a target="_blank" href="https://wandbox.org/permlink/I1e2Y91igQv2vxbo"><b>online</b></a>

View file

@ -1 +1 @@
<a target="_blank" href="https://wandbox.org/permlink/oKNo3GDUa9cxjgVB"><b>online</b></a> <a target="_blank" href="https://wandbox.org/permlink/tGoAEO2RoudxXWUz"><b>online</b></a>

View file

@ -1 +1 @@
<a target="_blank" href="https://wandbox.org/permlink/mP4cOSG4MtXmXlFw"><b>online</b></a> <a target="_blank" href="https://wandbox.org/permlink/KtW1m39B30RYkl5h"><b>online</b></a>

View file

@ -20,7 +20,6 @@ int main()
<< j.contains("/array/4"_json_pointer) << '\n' << j.contains("/array/4"_json_pointer) << '\n'
<< j.contains("/baz"_json_pointer) << std::endl; << j.contains("/baz"_json_pointer) << std::endl;
// out_of_range.106
try try
{ {
// try to use an array index with leading '0' // try to use an array index with leading '0'
@ -31,7 +30,6 @@ int main()
std::cout << e.what() << '\n'; std::cout << e.what() << '\n';
} }
// out_of_range.109
try try
{ {
// try to use an array index that is not a number // try to use an array index that is not a number

View file

@ -1 +1 @@
<a target="_blank" href="https://wandbox.org/permlink/3TJ79OzHP4vmN1Nb"><b>online</b></a> <a target="_blank" href="https://wandbox.org/permlink/aIuHXNvIdSGowMgG"><b>online</b></a>

View file

@ -2,9 +2,6 @@ true
true true
true true
true true
true
false false
false false
false false
[json.exception.parse_error.106] parse error: array index '01' must not begin with '0'
[json.exception.parse_error.109] parse error: array index 'one' is not a number

View file

@ -1 +1 @@
<a target="_blank" href="https://wandbox.org/permlink/4qmbLSA75stzPgtZ"><b>online</b></a> <a target="_blank" href="https://wandbox.org/permlink/k52yOvuKAXPQl1ou"><b>online</b></a>

View file

@ -1 +1 @@
<a target="_blank" href="https://wandbox.org/permlink/rSTMI3VXUFtNCWNc"><b>online</b></a> <a target="_blank" href="https://wandbox.org/permlink/65ClUAO2rdvXIuKi"><b>online</b></a>

View file

@ -1 +1 @@
<a target="_blank" href="https://wandbox.org/permlink/nh51Nho7iuAAAPyk"><b>online</b></a> <a target="_blank" href="https://wandbox.org/permlink/x9qygfrgrfjgjNpC"><b>online</b></a>

View file

@ -1 +1 @@
<a target="_blank" href="https://wandbox.org/permlink/xqf45a27zQqgthtB"><b>online</b></a> <a target="_blank" href="https://wandbox.org/permlink/G48ghomtqfwbG4OB"><b>online</b></a>

View file

@ -1 +1 @@
<a target="_blank" href="https://wandbox.org/permlink/lMcaGzTQuWn44ly1"><b>online</b></a> <a target="_blank" href="https://wandbox.org/permlink/8OiyguvJR3l15ail"><b>online</b></a>

View file

@ -1 +1 @@
<a target="_blank" href="https://wandbox.org/permlink/7fA2QoclBNAGZprY"><b>online</b></a> <a target="_blank" href="https://wandbox.org/permlink/099bRQB6gKnhVuVl"><b>online</b></a>

View file

@ -1 +1 @@
<a target="_blank" href="https://wandbox.org/permlink/K8peAfoiWbp1wSqq"><b>online</b></a> <a target="_blank" href="https://wandbox.org/permlink/SWqjjMQTNClOhE08"><b>online</b></a>

View file

@ -42,7 +42,7 @@ def strip_comments(text):
# Post the given JSON data to Wandbox's API, and return the result # Post the given JSON data to Wandbox's API, and return the result
# as a JSON object. # as a JSON object.
def upload(options): def upload(options):
request = urllib2.Request('http://melpon.org/wandbox/api/compile.json') request = urllib2.Request('https://melpon.org/wandbox/api/compile.json')
request.add_header('Content-Type', 'application/json') request.add_header('Content-Type', 'application/json')
response = urllib2.urlopen(request, json.dumps(options)) response = urllib2.urlopen(request, json.dumps(options))
return json.loads(response.read()) return json.loads(response.read())