| OLD | NEW |
| (Empty) |
| 1 self.addEventListener('message', function(event) { | |
| 2 switch (event.data.type) { | |
| 3 case 'ping': | |
| 4 var results = [ | |
| 5 'Ping message: ' + event, | |
| 6 ' event.origin: ' + event.origin, | |
| 7 ' event.lastEventId: ' + event.lastEventId, | |
| 8 ' event.source: ' + event.source, | |
| 9 ' event.source.scriptURL: ' + event.source.scriptURL, | |
| 10 ' event.source.state: ' + event.source.state, | |
| 11 ' event.ports: ' + event.ports, | |
| 12 ]; | |
| 13 var client_id = event.data.client_id; | |
| 14 event.waitUntil(clients.get(client_id) | |
| 15 .then(function(client) { | |
| 16 client.postMessage({type: 'record', results: results}); | |
| 17 event.source.postMessage({type: 'pong', client_id: client_id}); | |
| 18 })); | |
| 19 break; | |
| 20 } | |
| 21 }); | |
| OLD | NEW |