セッションの有効期限が過ぎたらログイン画面に飛ばす方法

Question

前提・実現したいこと

セッションの有効期限が過ぎたらログイン画面に飛ばしたいです。

該当のソース

	ini_set("session.cookie_lifetime", 86400);
	ini_set('session.gc_maxlifetime', 86400);
	ini_set('session.gc_probability', 1);
　	ini_set('session.gc_divisor', 100);
　　　　　if(セッションが切れたら)　{
　　　　　　　redirect("/login/index");
　　　　　　　exit();
      }

試したこと

該当ソースのようにif文でセッションが切れたらログイン画面に飛ばす処理を書こうと思ったのですが、条件のセッションが切れたらという箇所の記述方法が調べてもわかりません。
このような条件にすることは可能ですか？
また、可能であればどのように書いたらいいのでしょうか？

Comments

[kei344]

まだ質問が「受付中」になっていますが、「ベストアンサー」を選び「解決済」にされてはいかがでしょうか。

[terakun]

すみません押したと思ったのですが、見落としていました。

Answer 1

セッション情報として、「有効期限」を設けることで対応します。

Comments

[退会済みユーザー]

CSRF 対策用の token に関してなので、少し違いますが読み物として面白いです。
https://blog.ohgaki.net/advanced-csrf-token-by-hmac-hash

[terakun]

読んでみますね！回答ありがとうございました。

Answer 2

適当なキーを指定した$_SESSION["key"]を参照して存在しなければ
飛ばせばよいのでは？

Comments

[terakun]

解決いたしました！回答ありがとうございます