src/sgp/FileMan.cc
/** Replace extension of a file. */
Replace extension of a file.
Replace extension of a file .
std::string FileMan::replaceExtension(const std::string &_path, const char *newExtensionWithDot)
{
	boost::filesystem::path path(_path);
	boost::filesystem::path foo = boost::filesystem::path(newExtensionWithDot);
	return path.replace_extension(newExtensionWithDot).string();
}
std :: string FileMan :: replaceExtension ( const std :: string & _path , const char * newExtensionWithDot ) { boost :: filesystem :: path path ( _path ) ; boost :: filesystem :: path foo = boost :: filesystem :: path ( newExtensionWithDot ) ; return path . replace_extension ( newExtensionWithDot ) . string ( ) ; }
Replace extension of a file.
Replace extension of a file .