path windows in una stringa JSON

[nourdine]

ciao riga'!

c'ho un po' di codice che legge il filesystem e ritorna una stringa JSON contenente una descrizione di un pezzo di hard disk apunto. Ecco un esempio:

["C:\folder1\texts\folder3", "C:\folder1\texts\folder4"] 

il problema e' che questa roba qui viene data in pasto a javascript il quale quando valuta quella stringa (in javascript quella stringa diventa un array bello e pronto) trasforma le substringhe \t nel simbolo di tabulazione!

in pratica devo trovare il modo di trasformare ogni backslash nella stringa iniziale in un doppio backslash \\!

qualche idea? non sono un grande in java. Ho provato questo e non funziona:

s.replaceAll("\", "\\"); 

grazie

[neroux]

s.replaceAll("\\\\", "\\\\\\\\");

[nourdine]

nope!

mi spiace non funge

prova:

String s = "\nnn";
s.replaceAll("\\\\", "\\\\\\\\");
System.out.print(s);

[nourdine]

ooops scusa ...

le stringhe sono immutabili quindi la versione giuista e' questa

String s = "\nnn";
s = s.replaceAll("\\\\", "\\\\\\\\");
System.out.print(s);

ma non funziona lo stesso perche' \n viene interpretato come carattere speciale fin dall'inizio

[andbin]

Originariamente inviato da nourdine
ma non funziona lo stesso perche' \n viene interpretato come carattere speciale fin dall'inizio

Ovviamente, per l'esempio, la stringa s va messa "\\nnn"

[neroux]