Files
browser/src
Karl Seguin 756d6620cc Ensure completions are executed on the currently connected client
For the time being, given that we only allow 1 client at a time, I took a
shortcut to implement this. The server has an incrementing "current_client_id"
which is part of every completion. On completion callback, we just check if
its client_id is still equal to the server's current_client_id.
2025-02-21 09:35:51 +08:00
..
2025-02-09 11:04:21 +08:00
2025-01-27 12:33:05 +01:00
2025-02-20 14:06:38 +08:00
2025-01-27 12:33:05 +01:00
2024-11-21 16:42:48 +01:00
2025-02-20 22:08:37 +08:00
2024-11-21 16:42:48 +01:00