Taking over a session sometimes did not work

When taking over a session, after the message "The number of user licenses has been exceeded. You are already logged into MKG. Do you want to take over this license?", it could happen that an active Shop Floor session was terminated, while the user still could not log in because no MKG session was freed up.