I'm using PHP sessions as the focus for a user system on a website. As an admin of the site I would like to delete specific sessions to force users to logout. Or at least delete all the sessions so everyone has to login again (e.g. a major site update). Ideally by a php command, but if it is by deleting files I can obviously do this with php file commands.
I have shared linux web hosting (nothing special, has a cPanel interface). I saw this question Are PHP session files ever deleted?
/tmp only has statistics files, and an empty pear folder.
In writing this I thought I best check phpinfo(). session.save_path is /tmp (local and master). What sort of filenames am I looking for anyway?