From 1e670288c574b48b6f69bf7ac75948f940043c4c Mon Sep 17 00:00:00 2001 From: Florent Date: Wed, 8 Feb 2023 14:08:45 +0100 Subject: [PATCH] Remove PHP sessions after migration --- conf/garradin_post_migration.sh | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/conf/garradin_post_migration.sh b/conf/garradin_post_migration.sh index b79eab4..a0395c2 100644 --- a/conf/garradin_post_migration.sh +++ b/conf/garradin_post_migration.sh @@ -18,6 +18,12 @@ old_app="__OLD_APP__" new_app="__NEW_APP__" script_name="$0" +#================================================= +# DELETE OLD APP'S SESSIONS +#================================================= + +[ -n "$old_app" ] && find /var/lib/php/sessions/ -user "$old_app" -delete + #================================================= # DELETE OLD APP'S SETTINGS #=================================================