Question: How to detect if a user has logged out, in php?