salve ho un piccolo problema su cui sto sbattendo al testa da stamattina e non ne vengo fuori
ho un file che mi rilascia dei dati in questo formato
questi dati devo trasformarli in un array dove ogli valore deve essere ad esempio 07/07/2015 02:59 1537 , bene fin qui ci sono anche arrivato con una soluziione artigianale
il problema avviene quando il dato diventa 07/12/2015 02:55 500
in questo caso il 22° carattere diventa l'inzio dell'altra data.
Una soluzione ottimale era di far l'explode ogni due spazi ma non sono risucitoa capire come farlo e se possibile farlo.
Suggerimenti?
ho un file che mi rilascia dei dati in questo formato
Codice:
07/07/2015 02:59 1537 07/08/2015 03:01 1537 07/09/2015 03:05 1393 07/10/2015 02:54 1393 07/12/2015 02:55 1393 etc...
questi dati devo trasformarli in un array dove ogli valore deve essere ad esempio 07/07/2015 02:59 1537 , bene fin qui ci sono anche arrivato con una soluziione artigianale
PHP:
$file= file_get_contents($miofile);
$arr = str_split($file, 22);
il problema avviene quando il dato diventa 07/12/2015 02:55 500
in questo caso il 22° carattere diventa l'inzio dell'altra data.
Una soluzione ottimale era di far l'explode ogni due spazi ma non sono risucitoa capire come farlo e se possibile farlo.
Suggerimenti?