Referenz
>
Ereignis-Handler
void OnLogout($userID)
Wird bei Logout des Benutzers $userID aufgerufen.