--- a/src/AwkHandler.h Mon May 06 16:06:57 2019 +0200
+++ b/src/AwkHandler.h Mon May 06 17:46:49 2019 +0200
@@ -155,6 +155,8 @@
// Writer child process
closeOrThrow(awkInputWriterFD);
+ locale::global(locale("")); // needed for processing unicode texts, otherwise getline() stopped working on first line with non-ascii characters; TODO: move somewhere else?
+
__gnu_cxx::stdio_filebuf<wchar_t> awkOutputReaderBuffer(awkOutputReaderFD, std::ios::in);
std::wistream awkOutputReader(&awkOutputReaderBuffer);