Be notified in real-time on any activity (for instance connection, cursor move, typing...) #3
Assignees
Benjamin_Loison
Clear assignees
Benjamin_Loison
No Assignees
Notifications
Due Date
No due date set.
Dependencies
No dependencies set.
Reference: Benjamin_Loison/overleaf#3
Reference in New Issue
Block a user
Delete Branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
This would enable us to backup Overleaf content without regular
git pull, see OC3Kcrontab.Related to #11, Overleaf_history_exporter and Improve_websites_thanks_to_open_source/issues/770.
+74
Be notified in real-time on any activity (for instance cursor move, typing...)to Be notified in real-time on any activity (for instance connection, cursor move, typing...)DuckDuckGo and Google search Overleaf WebSocket.
Most results seem about hosting our own instance.
https://www.overleaf.com/socket.io/1/websocket/
first part changes everytime. Same for https://www.overleaf.com/socket.io/1/ and https://www.overleaf.com/socket.io/1/uzgxahft/
uzgxahftbeing a random string I generated.There is no further request on Firefox when loading this webpage.
Should investigate these keywords. Well these seem to be old technologies except
websocket.Let us read Wikipedia: WebSocket (1265617417). I quite completely read it.
Related to Benjamin-Loison/Contracts-management-website/issues/1.
Output:
DuckDuckGo search
"Protocol "wss" not supported or disabled in libcurl".The Stack Overflow answer 47861907:
Shell:
Shell:
Shell:
Shell:
Shell:
Bash script:
https://socket.io
socket.io
so it won't help much it seems.
https://socket.io/docs/v4/client-api/ may help.
Output:
DuckDuckGo search socket.io Python client.
https://pypi.org/project/python-socketio/
python-socketio has 4.1 k stars and last commit was 3 days ago.
Source: python-socketio/blob/781dc9a0305f6a795a0467ebc795f4b765084a0d/README.md#version-compatibility
https://python-socketio.readthedocs.io/en/stable/client.html
Output:
Python script:
Output:
same if use
https://.DuckDuckGo and Google search Python Overleaf client.
pyoverleaf does not seem helpful.
https://www.overleaf.com/socket.io/
Welcome to socket.io.
https://plmlatex.math.cnrs.fr/project let see when and who did last edit.
May help #21.
The Stack Overflow answer 4152986 helps to add some logs.
notifyOnNewOverleafActivity.py.log:Output:
So it seems to have broke after 8 minutes and 41 seconds.
Note that in theory there is no need to do anything as I just read the network of a relatively regular web-browser.
Check if no response since 50 seconds seems to be a good way to be notified when the WebSocket does not work anymore.
Alternatively should check if after the same amount of time face again this issue.
Output:
Would be interesting to see the window to see if there is any prompt.
Note that my approach may not be stable if the server is not stable, as a regular user may see a prompt, possibly with a button, or just reload the webpage.
Python script:
Output:
works as wanted.
Benjamin_Loison/playwright/issues/3 would help.
Output:
Output:
Output:
does not return anything.
An alternative would to schedule a notification function and abort it and start a new one when receive a heartbeat.
Output:
Now using:
Output:
global lastTimewas missing inserver_message_handler.Output:
It seems correct as I restarted yesterday OverClock3000.
Next ping was expected at 2025-10-19 18:12:22.633351 which is quite exactly 24 hours after.
I am a bit surprised as I had the feeling that it was previously running for longer.
Benjamin-Loison/cpython/issues/29 would help, as the script is still running...
The 24 hours duration is not due to
page.wait_for_timeout, but this Python statement is maybe involved in not stopping the script.I restarted the script to see if again face the issue after 24 hours.
I forgot to save the simplified script reproducing the non stopping behavior.
To be notified when someone leaves, as if do not write continuously can't know.
As possibly not multiple persons connected, just knowing that someone left if already nice.
People already connected when the script starts are sent as
last_updated_at, see #issuecomment-4363.argsmatchesid, see #issuecomment-4343. Same if already connected withclient_id.Note that such id changes from a connection to the other for the same authenticated user.
Could maintain a
dictto leverage the associated identity.For the initialization:
Output:
Could merge
{first,last}_nameat initializion to havenameif connected later.Can first rely on
email.Let us consider that Benjamin-Loison/matrix-commander/issues/16 may take multiple seconds and people may leave faster, as may have concurrency of him coming back for instance, well it would be using different ids.
So let us prefer keeping for too long memory content, but notify faster.
Note that if the person being connected when the script starts is
DO_NOT_NOTIFY_ON_EMAIL, then it is not an issue.Related to Benjamin_Loison/WhatsApp/issues/30#issuecomment-7874381.
headless = Falsemay help figure out what's wrong to not receiving a ping anymore.Output:
So
2::does not seem mandatory.Disconnection seems related, but not clearly as there is still a single heartbeat after.
Thanks to logs if not notified should be able to investigate why.
Clicking top bar between Menu and the document title.
Actualiser l'éditeur (not the language mix):
So can make the necessary to always have:
which seems more reliable.
Related to Benjamin_Loison/gnome-screenshot/-/issues/17#note_2589157.
Using
python3 -ito possibly give orders to PlayWright, but I doubt so.Error:
on OverClock3000 reboot due to
crontab:it is probably due to
headless = False.Via RDP I don't have this issue.
Benjamin_Loison/playwright/issues/8 would help.
Benjamin-Loison/pyzo/issues/91 would help.
Output:
Would be nice that if get ping back, then re-enable watcher.
Maybe it is the time of PDF compilation or similar, but I doubt so.
The absence of information let me believe that it is an anonymous connection.
Output:
works as wanted.
Python script:
Output:
Python script:
Output:
Output:
Python script:
hangs at
browser = asyncio.run(p.firefox.launch(headless = False)).Maybe a single
asyncio.runis intended.Output:
Excerpt:
The issue with a function is that interrupting it does not make code interaction possible it seems.
DuckDuckGo and Google search asyncio.run, Playwright interactively, Playwright async interactively and Python Playwright async interactive mode.
https://playwright.dev/docs/test-ui-mode does not seem to help.
https://chat.mistral.ai/chat/4a4cd652-5296-4667-8af3-992f8201ada6
Related to Improve_websites_thanks_to_open_source/issues/2806.
Warning:
https://chatgpt.com/share/6935f6a2-5444-8002-a4d6-d299fb2495c2
In JupyterLab:
does not hang, but does not show any window.
I was about to send to the person:
Message:
Python script:
works as wanted in JupyterLab.
There is no need to
await page.wait_for_timeoutor similar for the cell output to show ongoing WebSocket traffic, while the cell execution is shown as finished as wanted.DuckDuckGo search Playwright click.
https://playwright.dev/docs/input#mouse-click
Error:
https://playwright.dev/python/docs/input#mouse-click
.click(position={ "x": 0, "y": 0})looks interesting.DuckDuckGo search Playwright click at coordinate.
https://playwright.dev/python/docs/api/class-mouse
Error:
hides:
by opening Menu.
DuckDuckGo and Google search Playwright get page resolution.
Related to Benjamin_Loison/playwright/issues/6#issuecomment-8808858.
to test next time, but when there is not the prompt it seems to click at the wanted location.
Related to Benjamin_Loison/firefox/issues/262.
Benjamin_Loison/jupyterlab/issues/19 would help.
Despite having received No Overleaf ping, source: https://matrix.to/#/!sNARMdEsFZERaQAJzl:matrix.org/$a2FPiyr6QjiFlRdkm4RL1g8orkTlzJ4Y3pf7tko2Nno, the loop was still going on it seems, so I interrupted it, but it closed the Playwright window.
Error:
To not crash due to
print(f'Checking at {currentTime} ({lastTime=}, {asyncWait=})')global asyncWaitis necessary inverifyLastTime.DuckDuckGo search Playwright get element by text.
https://playwright.dev/docs/locators#locate-by-text
DuckDuckGo search Playwright Python click.
The Stack Overflow question 76632423 thread seems to show that I proceed correctly.
DuckDuckGo search playwright refresh webpage.
https://playwright.dev/docs/api/class-page#page-reload
results in out of sync prompt if I remember correctly.
I confirm that
await page.reload()solves the issue, now the point is keep listening.An alternative is just to restart the Python script on exit, but it is unsatisfying and it may be inefficient from a script initialization point of view.
Maybe can't in 2 threads proceed to Playwright
asynccalls, even ifawait page.wait_for_timeout(1)is quite inactive.async def verifyLastTime():does not seem executed in thread.DuckDuckGo search Python thread async.
The Stack Overflow answer 61778654 helps.
does not return anything and works as wanted.
await page.reload()blocks forever.Let us try to not use another thread, as it does not seem necessary anymore, as
while asyncWait:was commented and the behavior except expiration was as wanted it seems.In such case only see Checking output which is not satisfying.
DuckDuckGo and Google search Jupyter disable Python output buffer does not seem helpful.
Let us uncomment
while asyncWait:and see if it helps, otherwise will set up a shared boolean and proceed to webpage reload from the main thread.At least now APT and pip packages are up-to-date.