Skip to content

Commit

Permalink
Patch for an issue with backslashes in windows paths being read as es…
Browse files Browse the repository at this point in the history
…cape characters. What happens when the path contains unicode characters, though?
  • Loading branch information
jcotela committed Feb 14, 2014
1 parent 750e36d commit 8a43e19
Showing 1 changed file with 3 additions and 3 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -22,9 +22,9 @@ proc BeforeRunCalculation { batfilename basename dir problemtypedir gidexe args
set filename [file join $dir "${basename}-3.dat"]

set varfile [open $filename a]
puts $varfile "problem_name = '${basename}'"
puts $varfile "problem_path = '${dir}'"
puts $varfile "kratos_path = '${::kaux::kratos_path}'"
puts $varfile "problem_name = r'${basename}'"
puts $varfile "problem_path = r'${dir}'"
puts $varfile "kratos_path = r'${::kaux::kratos_path}'"
puts $varfile ""
close $varfile
}
Expand Down

0 comments on commit 8a43e19

Please sign in to comment.