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(); | |
}; |