@ luca200

1 - garbage collector...? che cosa è? Sta anche su macchine con OS windows (..os nel mio caso)?

2 - questi file che rimangono nella cartella /tmp del server, possono dare problemi?

3 - il server non lavora parecchio...un paiodi ore al giorno, considerando che ci gaccio i miei programmini stupidi e che lo utilizzo solo io.. in locale... come posso configurare il php.ini per poter eliminare questi file (tenendo conto dell'utilizzo che faccio del server)?

4 - è forse meglio evitare il punto 3 e cancellare a mano tutti i file (...che in fondo non è che mi porti via così tanto tempo..)

grazie a tutti per l'aiuto!