Binabik: The only thing that I can think of is if they did have vacation days set (which of course we can't see now because that time has passed) - but you said they did not.

As of almost 4 hours ago, the server time in on "Saturday" - which is that users weekend days, so if they are still gone when Monday comes around, and I can see they have no vacation days set - nor auto-vacation set - I would like to watch to see if their games then start to time out or not. (And if not - then a bug is the only thing I can think of.)

... not that I don't believe you when you said they did not have vacation days set - but I always like to see it myself... and I did not look at the profile until "Saturday" flipped over.