>>When they exit the lock on their record is released even if they don't log out.
>
> Only after the watchdog timeout cycle is executed, this can take several minutes.

Yes so if they exit abnormally they won't be able to login again for a few minutes. Maybe if they get ticked off enough from waiting they'll stop abnormally exiting the app in the first place. lol