• User Attivo

    sapere estensione di un file caricato

    ciao ragazzi.
    Ho un modulo per pubblicare dei file.

    Nella pagina dove viene pubblicato il file ho bisogno di scrivere:

    Questo file ha estensio exe... questo file ha estensione jpg.. ecc

    Come si fa??


  • User Attivo

    Per sapere tutte le informazioni su di un file caricato utilizza questo:

    $HTTP_POST_FILES['file'] "file" è il nome file inserito nel form
    $HTTP_POST_FILES['file']['name'] il nome originale del file dal computer dell'utente
    $HTTP_POST_FILES['file']['tmp_name'] nome temporaneo del file quando viene caricato
    $HTTP_POST_FILES['file']['type'] il nome del file generato dal browser dell'utente
    $HTTP_POST_FILES['file'] la dimensione del file, in byte

    Ciao :ciauz:


  • User Attivo

    Per ricavare le informazioni dal file che già è stato caricato invece
    basta che tu abbia il nome del file e poi
    <?
    echo strrchr( $nome_file, '.');
    ?>

    usando questo odice stampi l'estenzione ovvero tutto quello che sta dopo il punto nel nome del file.

    :ciauz: