James Allen bf452bf306 Keep the connection.id up to date with socket.io client id ...

The meta.source of an update is populated on the server side so
we need to keep our local connection id up to date with it. When a duplicate
op is submitted we must send all possible client ids that it could have
been sent with.

2015-11-19 12:04:12 +00:00

services/web

Keep the connection.id up to date with socket.io client id

2015-11-19 12:04:12 +00:00

S

Description

Quarto presentation editor based on the Overleaf framework

AGPL-3.0 297 MiB

Languages

JavaScript 62.6%

TypeScript 29.5%

SCSS 2.9%

Java 2.1%

Pug 0.8%

Other 1.9%