var startup_files = new string [settings.SourceFiles.Count];
int i = 0;
foreach (var source in settings.SourceFiles)
- startup_files [i++] = source.FullPathName;
+ startup_files [i++] = source.OriginalFullPathName;
settings.SourceFiles.Clear ();
TextWriter agent_stderr = null;
static void EscapeString (TextWriter output, string s)
{
foreach (var c in s){
- if (c > 32){
+ if (c >= 32){
output.Write (c);
continue;
}
case '\b':
output.Write ("\\b"); break;
case '\n':
- output.Write ("\\n");
+ output.Write ("\n");
break;
case '\v':
output.Write ("'\\''");
return;
}
- if (c > 32){
+ if (c >= 32){
output.Write ("'{0}'", c);
return;
}
break;
default:
- output.Write ("'\\x{0:x}", (int) c);
+ output.Write ("'\\x{0:x}'", (int) c);
break;
}
}