Gérer la session utilisateur

[niahoo]

perso j'ai deux fonctions de mon framework (nitrogen) donc je sais pas comment c'est géré du coup

wf:user() -> renvoie l'indentifiant utilisateur (qui peut être n'importe quel terme, un integer généralement)

wf:user(User) -> définit l'id de l'utilisateur (donc bon là classique, je cherche le couple id/password dans une base de données et s'il y en a un ça donne l'id


et donc dans chaque page,

case wf:user() of 

    undefined ->  wf:redirect_to_login(Url);

    _             -> %% ok on appelle le contrôleur

end,

...