(filename: string, serializedNode: SerializedNode)
| 40 | }) |
| 41 | |
| 42 | function handleNodeTree(filename: string, serializedNode: SerializedNode) { |
| 43 | const rootNode = deserializeNode(serializedNode) |
| 44 | if (rootNode === null) { |
| 45 | console.warn('Failed to deserialize node tree.') |
| 46 | return |
| 47 | } |
| 48 | let contentType = 'text/html;charset=UTF-8' |
| 49 | switch (serializedNode.type) { |
| 50 | case JAVASCRIPT_FILE: |
| 51 | case DATA_SHEET: |
| 52 | contentType = 'text/javascript' |
| 53 | break |
| 54 | } |
| 55 | addFileToCache('/' + filename, contentType, rootNode.generateCodeString()) |
| 56 | } |
| 57 | |
| 58 | self.addEventListener('message', (event: MessageEvent) => { |
| 59 | const data = event.data |
no test coverage detected