diff -r 8844ebce8fb4 -r b74001992ec3 src/relpipe-tr-awk.cpp --- a/src/relpipe-tr-awk.cpp Mon May 06 21:57:16 2019 +0200 +++ b/src/relpipe-tr-awk.cpp Mon May 06 23:52:22 2019 +0200 @@ -19,6 +19,7 @@ #include #include #include +#include #include #include @@ -52,10 +53,10 @@ Configuration configuration = cliParser.parse(cli.arguments()); std::shared_ptr reader(reader::Factory::create(std::cin)); std::shared_ptr writer(writer::Factory::create(std::cout)); - AwkHandler handler(writer.get(), configuration); + AwkHandler handler(writer.get(), std::bind(fflush, stdout), configuration); // std::bind(fflush, XXX) writer::Factory::create(XXX) must be the same stream XXX reader->addHandler(&handler); reader->process(); - + resultCode = CLI::EXIT_CODE_SUCCESS; } catch (RelpipeCLIException& e) {