. */ /* * @brief This script make a "svn_update" for the directory $_REQUEST['dir'], * reload the parent page and then close this one * * * @file * @author Arnaud Veber * @date $date$ * @version $Revision$ * @ingroup admin */ if (isset($_REQUEST['dir']) && !empty($_REQUEST['dir'])) { $ret = svn_update(realpath($_REQUEST['dir'])); } $dossier = end(explode(DIRECTORY_SEPARATOR, $_REQUEST['dir'])); $_SESSION['error'] = $dossier.' à été mis à jour'; ?>