AWS.Session.Set_Lifetime should not be called by users
未关闭
@TurboGit 已经在做这个了。
开始于 2020年7月14日。
评估
这个 Issue 还没有评估数据。
描述
A suggestion for documentation improvement. This cost me quite a while investigating why my users were logged out after 10min, despite me setting the lifetime to 1 day.
procedure Set_Lifetime (Seconds : Duration);
-- Set the lifetime for session data. At the point a session is deleted,
-- reusing the session ID makes AWS.Status.Session_Timed_Out return True.
--
-- This subprogram should not be called directly by users. Instead, use
-- AWS.Config.Set.Session_Lifetime. This is because starting the server will
-- override any value previously set via Set_Lifetime, with the value set in the
-- config.
Perhaps better would be to make this subprogram private, or even only in the body (I think it would work, but did not check in full details)
- 主要语言
- Ada
- 星标
- 163
- 派生
- 46
- PR 合并指标
- 30 天内没有已合并 PR
环境准备
- 没有 Dockerfile 或 Docker Compose 文件
- 没有 Pull Request 模板
- 阅读贡献指南
从这里开始
- 先读完整个 Issue，再读项目的贡献指南。
- 在 Issue 下留言说明你要接手 —— 这能避免两个人做同样的事。
- Fork 仓库，在一个分支上完成修改。
- 提交 Pull Request，并在描述里引用这个 Issue 编号。
AdaCore/aws 的其他 Issue
-
Setup fails due to missing directory x86_64-pc-linux-gnu/setup/src可能已有人在做 关联的 PR 仍在进行中或已合并。 未关闭
难度 2/5 1-3 小时 新手友好度 68/100
-
难度 4/5 3-5 天 新手友好度 48/100
-
Upgrade of zlib required to solve compilation warnings due to K&R style可能已有人在做 关联的 PR 仍在进行中或已合并。 未关闭
难度 3/5 1-2 天 新手友好度 58/100
-
难度 3/5 1-2 天 新手友好度 48/100
-
难度 4/5 3-5 天 新手友好度 25/100