src/common/debug.cc


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

#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();
}