std::string reporters = get_option_string("metrics.reporter", "console");

char * creps = (char*)reporters.c_str();

const char * delims = ",";

char * t = strtok(creps, delims);

while(t != NULL) {

std::string repname(t);

if (repname == "basic" || repname == "console") {

basic_reporter rep;

m.report(rep);

} else if (repname == "file") {

file_reporter rep(get_option_string("metrics.reporter.filename", "metrics.txt"));

m.report(rep);

} else if (repname == "html") {

html_reporter rep(get_option_string("metrics.reporter.htmlfile", "metrics.html"));

m.report(rep);

} else {

logstream(LOG_WARNING) << "Could not find metrics reporter with name [" << repname << "], ignoring." << std::endl;

}

t = strtok(NULL, delims);

}