I was trying to write a bash script to be executed by cron to clean up
old session files that were not properly removed, eg, when the user
didn't do a proper logout which would have activated a
session_destroy().
Apparently, the system (either PHP or apache) doesn't do 'garbage
collection' of such files as part of its normal operation. Or am I
missing something ?