INTERVAL_SESSION_DOWN
if (staletime < INTERVAL_SESSION_DOWN - INTERVAL_STALE)
staletime = INTERVAL_SESSION_DOWN - INTERVAL_STALE;
INTERVAL_SESSION_DOWN);
timer_set(&peer->timers, Timer_SessionDown, INTERVAL_SESSION_DOWN);