(event, new_data)
| 203 | } |
| 204 | |
| 205 | function cloneEvent(event, new_data) { |
| 206 | return new MessageEvent('message', { |
| 207 | data: new_data, |
| 208 | origin: event.origin, |
| 209 | lastEventId: event.lastEventId, |
| 210 | source: event.source, |
| 211 | ports: event.ports |
| 212 | }); |
| 213 | } |
| 214 | |
| 215 | function redirectConversations(url, conversation_id) { |
| 216 | var idx = url.indexOf("/textdocs"); |