| 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 |