Yo lo que he hecho es agregar un campo UltimoAcceso de tipo TIMESTAMP o similar a la tabla de usuarios. El cliente actualiza cada x tiempo este campo con la fecha-hora actual, por ejemplo, cada 30 segundos. Cualquier sesión correspondiente a un usuario con UltimoAcceso mayor a 30 segundos es una sesión muerta y tu módulo de usuarios la puede borrar (quitar la marca) automáticamente.
// Saludos
|