* Properties: Don't play games with \r and \n on load/save,

it was causing fatal issues on DOS if your username started
      with r or n
This commit is contained in:
zzz
2010-01-21 14:19:38 +00:00
parent 09d3dc8e90
commit 5338dc5540
2 changed files with 10 additions and 4 deletions

View File

@ -280,8 +280,13 @@ public class DataHelper {
String val = line.substring(split+1); //.trim() ??????????????
// Unescape line breaks after loading.
// Remember: "\" needs escaping both for regex and string.
val = val.replaceAll("\\\\r","\r");
val = val.replaceAll("\\\\n","\n");
// For some reason this was turning \r (one backslash) into CR,
// I think it needed one more \\ in the pattern?,
// which sucks if your username is randy on DOS,
// it was a horrible idea anyway
//val = val.replaceAll("\\\\r","\r");
//val = val.replaceAll("\\\\n","\n");
if ( (key.length() > 0) && (val.length() > 0) )
if (forceLowerCase)
props.setProperty(key.toLowerCase(), val);