gitoriaLog in with ident

tracker

All repositories: gitoria

ReadmeCodePull requestsReleasesTicketsSettings
Commit05f407c505f407c5tracker: no border on any button except inverted ones (Log out, ident status and identities too); header brand weight 100mre05f407c5/plugins/http1/ws_client.hl

910 B

  1. \* One connected WebSocket peer. Created by NativeWebSocketServer when the
  2. upgrade completes and handed to the connect/message/pong/close events —
  3. never `new`ed by app code. *\
  4. Number id = 0 \\ the native connection id
  5. String cookie = null \\ the Cookie header of the upgrade request, as the browser sent it — the session's name, never readable by page script
  6. String host = null \\ the Host header of the upgrade request, port included — the address the browser dialled (null when it sent none)
  7. \* One text frame to this peer; false when the connection is gone. *\
  8. send(
  9. String text \\ the frame to send
  10. ) {
  11. return __native("http1.ws_send", id, text)
  12. }
  13. \* Ping this peer — the answer arrives as the server's pong event. *\
  14. ping() {
  15. return __native("http1.ws_ping", id)
  16. }
  17. \* Close this connection; the server's close event still fires. *\
  18. close() {
  19. return __native("http1.ws_close", id)
  20. }

Branches

Latest commits

  • 05f407c5tracker: no border on any button except inverted ones (Log out, ident status and identities too); header brand weight 100mre
  • 17375427tracker#2: tools/migrate.hl + tools/verify.hl — old MongoDB data into mpackdb with new idsmre
  • 31aac936tracker#3: no border on the header and on filled buttons; inverted buttons keep theirsmre
  • 2ad9d29ctracker#1: login exactly like calendar (identity selector in the header, empty homepage)mre
  • 3691e176tracker#1: empty tracker with the ident login (state of 2026-09-27)mre