private void OnUserLogout(User user)
{
UserHandler handler = UserLogout;
if (handler != null) {
try {
handler (this, new UserArgs (user));
} catch (Exception e) {
Console.Error.WriteLine ("Exception in UserLogout event handler: " + e);
}
}
}