氮气期

在我的所有氮页面中，我使用以下语义：

main() -> 
case wf:user() /= undefined of 
    true  -> main_authorized();
    false -> wf:redirect_to_login("/login")
end.

当用户登录并在包含表单的页面中，如果会话超时，他仍然可以执行表单发布，导致我的网站逻辑出现一些问题，因为未记录的用户应该重定向到登录页面，我有什么方法可以实现这种行为，而不必经历我的所有页面事件功能，并寻找这种情况？ 在此先感谢和问候