commit d9d93f990f3da5e210c1a58c88eaac1d830f3664 parent ade64d5fd27605ef57bffd5a96184f88ca3213bb Author: Antoine Amarilli <a3nm@a3nm.net> Date: Tue, 15 Nov 2016 11:24:26 +0100 no buffering Diffstat:
| wikifirc | | | 1 | + |
1 file changed, 1 insertion(+), 0 deletions(-)
diff --git a/wikifirc b/wikifirc @@ -70,6 +70,7 @@ def register(pages, page, fout): return pages.add(page) print(page, file=fout) + fout.flush() if __name__ == "__main__":