There is a setting in the database configuration for 'Maximum idle time'. Have you checked that for a value? It should be valid for all users however. Perhaps she is the only one who is idle for that amount of time. The setting is on the server, not on her machine.