OLD | NEW |
1 <!DOCTYPE html> | 1 <!DOCTYPE html> |
2 <script> | 2 <script> |
3 function fetch_url(url) { | 3 function fetch_url(url) { |
4 return new Promise(function(resolve, reject) { | 4 return new Promise(function(resolve, reject) { |
5 var request = new XMLHttpRequest(); | 5 var request = new XMLHttpRequest(); |
6 request.addEventListener('load', function(event) { | 6 request.addEventListener('load', function(event) { |
7 if (request.status == 200) | 7 if (request.status == 200) |
8 resolve(request.response); | 8 resolve(request.response); |
9 else | 9 else |
10 reject(new Error('fetch_url: ' + request.statusText + " : " + url)); | 10 reject(new Error('fetch_url: ' + request.statusText + " : " + url)); |
11 }); | 11 }); |
12 request.addEventListener('error', function(event) { | 12 request.addEventListener('error', function(event) { |
13 reject(new Error('fetch_url encountered an error: ' + url)); | 13 reject(new Error('fetch_url encountered an error: ' + url)); |
14 }); | 14 }); |
15 request.addEventListener('abort', function(event) { | 15 request.addEventListener('abort', function(event) { |
16 reject(new Error('fetch_url was aborted: ' + url)); | 16 reject(new Error('fetch_url was aborted: ' + url)); |
17 }); | 17 }); |
18 request.open('GET', url); | 18 request.open('GET', url); |
19 request.send(); | 19 request.send(); |
20 }); | 20 }); |
21 } | 21 } |
22 </script> | 22 </script> |
OLD | NEW |