Bug #5553 : fixing the user session that can potentially never expire.
When the session of a user is becoming soon expired, a warning POPUP message is displayed to the user. But the display of this POPUP induced resetting of the user session time counters, and as a consequence, the user session was never ended !