id,summary,reporter,owner,description,type,status,milestone,component,version,severity,resolution,keywords,cc
577,change_extension throw an invalid name exception,nobody,beman_dawes,"{{{
path change_extension(const path& ph, const
std::string& new_extension)
{
  return ph.branch_path() / basename(ph) + new_extension;
}

If we try with this code :

string str = ""toto titi.exe"";

path p(str, native);

path p2 = change_extension(p, "".txt"");

Then in change_extension, basename will return a
string, and / operator will throw an invalid name as
""toto titi"" is not a valid path.

I made this correction :

path change_extension(const path& ph, const
std::string& new_extension)
{
  return ph.branch_path() / path(basename(ph) +
new_extension, native);
}

And it seems to be ok now.
}}}",Bugs,closed,,filesystem,None,,Out of Date,,