Cancellare una o più righe nel file.txt?

[ANTAGONIA]

Buon giorno,vorrei sapere cortesemente come si cancella una o più righe contenute in un file.txt.
Questo file in pratica mi dice chi è online in un preciso istante,ma ogni volta che la pagina esegue automaticamente il refresh, aggiunge una nuova riga al .txt, riportando le indicazioni sopra menzionate utente|data|ora.
Quindi nel file se ci sono 2 o più utenti ho questa situazione:
utente1|data|ora
utente2|data|ora
utente1|data|ora
utente2|data|ora
utente3|data|ora

La mia domanda è:Come posso eliminare tutte quele righe che riguardano solo l'utente1?
Spero di essermi spiegato.Perchè ho provato parecchie soluzioni,ma...non essendo esperto non sò come fare.
Grazie mille....

[ANTAGONIA]

nessuno sà come fare?

[MicheleWT]

è un pò che non gioco coi file quindi prendi tutto con le pinze.

estrai tutte le informazioni...chessò una riga di testo del filoe per una casella di un array. inizi a lavorare con l'array e infine riscrivi tutto il file.

mi sembra che in php non si possa modificare una parte del file ma vada sovrascritto tutto.

spero che la memoria non mi inganni. . . magari è la volta che dò una rispolverata alla parte inerente ai file. . . da quando ci sono i database i file mi stanno stretti

[ANTAGONIA]

hai ragione, certo con il DB è più facile...ma con i file uff.. cmq ti ringrazio,anche se non so da dove iniziare..

[MicheleWT]

dal manuale di php.net ravana nella sezione delle funzioni alla voce file() ci sono tutti gli strumenti con cui "operare"