File tools/factory/factory_upgrade.sh from the latest check-in

#!/bin/sh

# Répertoire où sont stockées les données des utilisateurs
# veiller à ce que ce soit le même que dans config.local.php
FACTORY_USER_DIRECTORY="users"

# Chemin vers le script upgrade.php de Garradin
GARRADIN_UPGRADE_SCRIPT="scripts/cron.php"

for user in $(cd ${FACTORY_USER_DIRECTORY} && ls -1d */)
do
	GARRADIN_FACTORY_USER=$(basename "$user")
	php $GARRADIN_UPGRADE_SCRIPT
done