diff options
Diffstat (limited to 'gui/console.cpp')
| -rw-r--r-- | gui/console.cpp | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/gui/console.cpp b/gui/console.cpp index b1f16c48a..897c58203 100644 --- a/gui/console.cpp +++ b/gui/console.cpp @@ -28,6 +28,7 @@ extern "C" { static std::vector<std::string> gConsole; static std::vector<std::string> gConsoleColor; +static FILE* ors_file; extern "C" void __gui_print(const char *color, char *buf) { @@ -57,6 +58,10 @@ extern "C" void __gui_print(const char *color, char *buf) gConsole.push_back(start); gConsoleColor.push_back(color); } + if (ors_file) { + fprintf(ors_file, "%s\n", buf); + fflush(ors_file); + } } extern "C" void gui_print(const char *fmt, ...) @@ -89,6 +94,11 @@ extern "C" void gui_print_color(const char *color, const char *fmt, ...) return; } +extern "C" void gui_set_FILE(FILE* f) +{ + ors_file = f; +} + GUIConsole::GUIConsole(xml_node<>* node) : GUIObject(node) { xml_attribute<>* attr; |