Occupation disque
".gettext("Vous n'avez pas les droits suffisants pour accéder à cette fonction").""); $wrep = $_POST['wrep']; if($wrep=="") { $wrep=$_GET['wrep']; } if (isset($wrep)) { // test si l'entree est correcte if((is_dir($wrep)) || (is_file($wrep))) { echo "

".gettext("Occupation de $wrep")."

"; $reponse=system("/usr/bin/sudo /usr/share/se3/scripts/du.sh $wrep"); echo "$reponse"; require("pdp.inc.php"); exit; } else { $erreur="1"; } } ?>

".gettext("Erreur le répertoire ou fichier n'est pas correct")."

"; } echo gettext("Cliquez sur un répertoire prédéfini, ou bien choisissez-en un autre en indiquant son chemin dans le champ prévu à cet effet."); ?>

	/var/se3/Progs
	/var/se3/Docs
	/var/se3/Docs/public
	/var/se3/Classes