webapp/src/WebSocket.hs, branch v0.1.1[no description]Fix next peer check race in WebSocket thread2026-08-17T17:59:19+00:00Roman Smržroman.smrz@seznam.cz2026-08-17T17:59:19+00:00f2935af7f50b90b78094fa3cffce6ce8c9daf5e0
Try reconnecting to the websocket connection when it's lost2026-08-01T20:02:26+00:00Roman Smržroman.smrz@seznam.cz2026-08-01T19:47:41+00:0075f243e6c5f1663157f934c706f069778507c165
Mark WebSocket connection as reliable trasport2026-08-01T19:18:50+00:00Roman Smržroman.smrz@seznam.cz2026-08-01T19:18:27+00:00c0d2d74524e015f9bbf339ba490764265156ae30
Move common WebSocket setup to the module2026-07-25T07:28:44+00:00Roman Smržroman.smrz@seznam.cz2026-07-25T07:28:44+00:003cf68ac0db0e5f839d3f1dd8f345e44584ed13f7
Newtype wrappers for some JavaScript values2026-07-01T19:49:30+00:00Roman Smržroman.smrz@seznam.cz2026-06-28T11:26:33+00:0075150152f51b21db78bd3cef70b47a5ec98a4c87
Drop websocket peer when connection is closed2026-03-14T09:02:24+00:00Roman Smržroman.smrz@seznam.cz2026-03-14T09:02:24+00:009b150c9142f644877de81e3d8e1dc92597793738
Switch to public websocket server2025-12-11T20:57:54+00:00Roman Smržroman.smrz@seznam.cz2025-12-11T20:57:54+00:00af27ce1399b7b7836593bb236e93c99a2ec39716
Close WebSocket connection when peer drops2025-07-16T19:08:29+00:00Roman Smržroman.smrz@seznam.cz2025-07-16T19:08:29+00:00e2575d71622b918387a6d415b2ee20f1bcfd8334
Throw exception on invalid websocket state2025-05-24T13:34:24+00:00Roman Smržroman.smrz@seznam.cz2025-05-24T13:34:24+00:00339754d960eba6529bebac44e046b4bc799a9e27
Show and send direct messages2025-04-30T20:39:28+00:00Roman Smržroman.smrz@seznam.cz2025-04-30T20:18:15+00:006826651f2d3a414b0a05730a3ff577ae0922a62f