- /*
- //========================================================================
- /// Usefull functions for html generation
- static void replace( std::string& str,
- const std::string& from, const std::string& to )
- {
- using std::string;
- string::size_type pos = str.find( from );
- while ( pos != string::npos )
- {
- // std::cout << "'" << str << "' -> '";
- str.replace( pos, from.size(), to );
- pos = str.find( from, pos+from.size()-1 );
- // std::cout << str << "'"<< std::endl;
- }
- }
- //==========================================================================
- inline void html_format(std::string& str)
- {
- replace( str, "&", "&" );
- replace( str, "<", "<"# );
- replace( str, ">", ">" );
- }
- */