- merged 1.10 from PLD

[packages/php-dirs.git] / php-session.sh

diff --git a/php-session.sh b/php-session.sh
index d7bc1a7b02e00e06538a16c1366ffd70424e0efa..19bffe2cf118241611a5ab8d46e482742549e609 100755 (executable)
--- a/php-session.sh
+++ b/php-session.sh
@@ -23,7 +23,7 @@ cleanup_dir() {
 find_gc_time() {
        gc_time=0
        local gc php
-       for php in php php4 php52 php53 php54 php55 php56; do
+       for php in php $(cd /usr/bin && ls -1 php[0-9] php[0-9][0-9] 2> /dev/null); do
                gc=
                if [ -x /usr/bin/$php ]; then
                        gc=$($php -r 'echo max(round(ini_get("session.gc_maxlifetime")/3600), 1);' 2> /dev/null)