E' colpa mia o di qualche impostazione del server che questo codicillo:
if(!isset($_FILES)) $_FILES = $HTTP_POST_FILES;
if(!isset($_SERVER)) $_SERVER = $HTTP_SERVER_VARS;
echo $_SERVER["DOCUMENT_ROOT"];
non funziona in quanto non riesco ad avere alcun output?