diff options
| author | tv <tv@krebsco.de> | 2026-11-12 02:06:36 +0000 |
|---|---|---|
| committer | tv <tv@krebsco.de> | 2026-11-12 03:26:34 +0100 |
| commit | 97ae0ccf8eb0c0082d3989086f6c8258cd685625 (patch) | |
| tree | 0d0916362d30410a6095c230c62c6a97f8e6a328 /src/force.rs | |
| parent | 81dc0ca6012372ff293e19549053fda84bca1eb0 (diff) | |
login: a login given a lifetime of its own ends its session's record with it
Ending a session records it in the document until the login's end
(login_exp), so every token of the session, refreshed or handed over, is
refused until none can live any longer. A login may ask a lifetime of
its own (POST /auth/login with lifetime): its session ends with that
token (session_exp), as a refresh never goes past it. Its login_exp is
now that end too, so ending its session records it as long as one of its
tokens can live, not for the node's whole session lifetime. A token
refreshed with a lifetime (one handed to another member's dashboard)
keeps the login's end.
Diffstat (limited to 'src/force.rs')
0 files changed, 0 insertions, 0 deletions
