Rivelare e sostituire nul "chr(000)"

[cichity74]

Ho realizzato uno script per importare dei dati da txt tabulato a mysql, il file txt e un eportazione di
un db di filemaker (sotto os x) a volte nel file d'esportazione viene inserito il carattere nul chr(000)
dovrei rivelare e sostituire il carattere, ma php non sembra riverarlo.

$file = "test_nul.txt";
$handle = fopen($file, 'r+');
$source_data = fread($handle, filesize($file));
fclose($handle);
$separatore = chr(011); // TAB
$acc = chr(015); // CR (accapo)
str_replace (chr(000)," ",$source_data); // elimina nul
echo  source_data; 

Vedi:


cichity74

[cichity74]

up

[cichity74]

up

[andr3a]

str_replace (chr(000)," ",$source_data);

oltre al fatto che forse basterebbe chr(0) (un solo zero) non riassegni la variabile (svistona?)

$source_data = str_replace (chr(000)," ",$source_data);


cmq per i caratteri "particolari" io di solito uso preg


$data = preg_replace("/\x00/", " ", $data);



P.S. verifica anche che ci sia il null che di solito le funzioni su stringa si fermano proprio quando lo trovano

... if(preg_match("/\x00/", $source_data)) ... altrimenti devi usare una addcslashes per vedere cosa legge il php al posto del null

[cichity74]

Originariamente inviato da andr3a
str_replace (chr(000)," ",$source_data);

oltre al fatto che forse basterebbe chr(0) (un solo zero) non riassegni la variabile (svistona?)

$source_data = str_replace (chr(000)," ",$source_data);


cmq per i caratteri "particolari" io di solito uso preg


$data = preg_replace("/\x00/", " ", $data);



P.S. verifica anche che ci sia il null che di solito le funzioni su stringa si fermano proprio quando lo trovano

... if(preg_match("/\x00/", $source_data)) ... altrimenti devi usare una addcslashes per vedere cosa legge il php al posto del null

Grande svistona !!!
la cosa curiosa / paradossale è che ciò che mi ha indotto in errore è che altri replace funzionano...

    // elimina occorrenze
        str_replace (chr(011).chr(011),chr(011),$source_data); // sostituisce doppio tab con tab
        str_replace (chr(011).chr(015),chr(015),$source_data); // .. 

Per il discorso degli 0 chr funziona analogamente con 0 o con 00 o con 000
grazie per il supporto
cichity74