[7.380]webadmin doesn't time out

I once set my time out to 3600, but even when setting it to 300, the webadmin doesn't log off after being idle for a long time.
As a test, I logged in this morning at 7:45AM and when I got home, the webadmin was still there at little over 17:00. I could just go on with my tasks...
I set it to 900 and left it for over 30 minutes, still the same..


So, I guess this is a bug: the webadmin auto-logoff doesn't work...