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 ファイルなし
- プルリクエストのテンプレートなし
- コントリビューションガイドを読む
はじめの一歩
- issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
- 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
- リポジトリをフォークし、ブランチを切って変更します。
- issue 番号を参照したプルリクエストを送ります。
AdaCore/aws のほかの issue
-
Setup fails due to missing directory x86_64-pc-linux-gnu/setup/src対応中かも このイシューにリンクされたプルリクエストがオープン中、またはマージ済みです。 オープン
難易度 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対応中かも このイシューにリンクされたプルリクエストがオープン中、またはマージ済みです。 オープン
難易度 3/5 1〜2日 初心者へのやさしさ 58/100
-
難易度 3/5 1〜2日 初心者へのやさしさ 48/100
-
難易度 4/5 3〜5日 初心者へのやさしさ 25/100