Use marcas de tiempo de Unix en una base de datos, para que pueda establecer un tiempo de espera. Haga que Ajax envíe solicitudes mientras el usuario todavía está mirando el ticket.
luego use un bucle foreach y filtre todas las marcas de tiempo activas, el nombre de usuario o la identificación de salida.
envíe la respuesta a su cliente en json (a menos que sea lo suficientemente ghetto para usar XML)