minor changes

This commit was merged in pull request #29.
This commit is contained in:
2024-06-07 19:04:20 +01:00
parent afa81eacd8
commit 63090f0b74
@@ -18,11 +18,10 @@ const HeaderUserMenu: FC = () => {
timeout = window.setTimeout(() => { timeout = window.setTimeout(() => {
logout(); logout();
}, inactiveTime); }, inactiveTime);
// console.log('===> Current time: ' + timeout);
}; };
const handleUserActivity: any = () => { const handleUserActivity: any = () => {
resetTimeout(); // Extend session on user activity resetTimeout(); // reset session on user activity
}; };
document.addEventListener('mousemove', handleUserActivity); document.addEventListener('mousemove', handleUserActivity);