5 void replace_extention(std::string
& filename
, const std::string
& extention
)
7 size_t slash
= filename
.rfind('/');
8 size_t dot
= filename
.rfind('.');
10 /// @todo windows compatibility with '\'
12 filename
.erase(dot
+ !extention
.empty());
13 filename
.append(extention
);