src/common/dout.cc


1
2
3
4
5
6
7
8
9
10
11
12
13
14

#include <iostream>

void dout_emergency(const char * const str)
{
  std::cerr << str;
  std::cerr.flush();
}

void dout_emergency(const std::string &str)
{
  std::cerr << str;
  std::cerr.flush();
}