I would call it ``$invalidateSession`` rather than ``tmp``