blob: bec438f33391f27b731f8716dbfba20b8052b405 [file] [log] [blame]
function dumpUserAgent()
{
fetch('http://127.0.0.1:8000/devtools/resources/echo-headers.php')
.then(function(response) {
return response.text();
}).then(function(body) {
var userAgentLine = /HTTP_USER_AGENT:.*/.exec(body)[0];
console.log(userAgentLine);
}).catch(function(err) {
console.log('fetch failed: ' + err.message);
});
}
self.onmessage = function(event) {
dumpUserAgent();
};