| 1063 | } |
| 1064 | |
| 1065 | void flush() |
| 1066 | { |
| 1067 | if (m_file && m_file != stdout) |
| 1068 | { |
| 1069 | if (fflush(m_file)) |
| 1070 | die("Failed to flush '%s', errno: %d", m_file_name, errno); |
| 1071 | } |
| 1072 | } |
| 1073 | |
| 1074 | void write(DYNAMIC_STRING* ds) |
| 1075 | { |
no test coverage detected