[Positioning] OutputTerminal: handle flush-output-files
Flush the output stream when the option flush-output-files is activated.
This commit is contained in:
parent
ea81916937
commit
a975731ae4
|
@ -1,5 +1,6 @@
|
||||||
#include "outputterminal.hh"
|
#include "outputterminal.hh"
|
||||||
#include "resultlist.hh"
|
#include "resultlist.hh"
|
||||||
|
#include "configuration.hh"
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
@ -16,4 +17,6 @@ void OutputTerminal::write(const ResultList &results)
|
||||||
output_stream << "There is no result.\n" ;
|
output_stream << "There is no result.\n" ;
|
||||||
else
|
else
|
||||||
output_stream << results << '\n' ;
|
output_stream << results << '\n' ;
|
||||||
|
if (Configuration::bool_value("flush-output-files"))
|
||||||
|
output_stream << std::flush ;
|
||||||
}
|
}
|
||||||
|
|
Loading…
Reference in New Issue