You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Configurably, we should multithread the polling server, multiplexing across documents (but not across edits in one document, in case one changes the context of another)
The text was updated successfully, but these errors were encountered:
would be nice if polling strat was separate for each paperremote. currently, if one paper is being actively edited, all papers get polled more frequently.
Configurably, we should multithread the polling server, multiplexing across documents (but not across edits in one document, in case one changes the context of another)
The text was updated successfully, but these errors were encountered: