diff --git a/owlps-positioning/src/outputterminal.cc b/owlps-positioning/src/outputterminal.cc index 6736ef0..6473940 100644 --- a/owlps-positioning/src/outputterminal.cc +++ b/owlps-positioning/src/outputterminal.cc @@ -1,5 +1,6 @@ #include "outputterminal.hh" #include "resultlist.hh" +#include "configuration.hh" @@ -16,4 +17,6 @@ void OutputTerminal::write(const ResultList &results) output_stream << "There is no result.\n" ; else output_stream << results << '\n' ; + if (Configuration::bool_value("flush-output-files")) + output_stream << std::flush ; }