| 1122 | } |
| 1123 | |
| 1124 | void error(const char * fmt, ...) { |
| 1125 | va_list args; |
| 1126 | va_start(args, fmt); |
| 1127 | display_type cur = current_display; |
| 1128 | set_display(DISPLAY_TYPE_ERROR); |
| 1129 | vfprintf(out, fmt, args); |
| 1130 | set_display(cur); // restore previous color |
| 1131 | va_end(args); |
| 1132 | } |
| 1133 | |
| 1134 | void flush() { |
| 1135 | fflush(out); |