Visualizzazione dei risultati da 1 a 3 su 3
  1. #1

    non considerare l'estensione del file...

    ciao a tutti...
    mi aiutate a risolvere questa difficoltà?

    $fileName = "pippo.jpg";

    io vorrei che diventasse

    $fileName = "pippo" .rand(0,9999). ".jpg";

    NB:
    l'estensione potrebbe esser anche .jpeg, quindi di lunghezza di caratteri differenti.

    grazie!!

  2. #2
    Utente di HTML.it L'avatar di fabi080
    Registrato dal
    Mar 2002
    Messaggi
    442
    Così spezzi il nome del file in nome ed estensione e non dà problemi se il nome del file contiene più di un punto al suo interno

    codice:
    $position = strrpos($filename, ".");
    $name = substr($filename, $position);
    $ext = substr($filename, $position +1);

  3. #3
    prefetto!!!

    così è perfetto:

    $filename = "pippo.jpg";

    $position = strrpos($filename, ".");
    $name = substr($filename, 0, $position);
    $ext = substr($filename, $position);

    echo $filename = $name . rand(0, 9999) . $ext;

    grazie mille!!!

Permessi di invio

  • Non puoi inserire discussioni
  • Non puoi inserire repliche
  • Non puoi inserire allegati
  • Non puoi modificare i tuoi messaggi
  •  
Powered by vBulletin® Version 4.2.1
Copyright © 2025 vBulletin Solutions, Inc. All rights reserved.