plint

commit 1be1f71a5f940417caf44f7a8bd0dd130f3f96c8
parent 3ece1a86c0468a4369f689167027949e626a270c
Author: Antoine Amarilli <a3nm@a3nm.net>
Date:   Thu, 17 Aug 2017 00:07:13 +0200

avoid buffering when redirecting plint_web output to file

Diffstat:
plint_web.py
 | 
2
+-

1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/plint_web.py b/plint_web.py
@@ -1,4 +1,4 @@
-#!/usr/bin/python3 -O
+#!/usr/bin/python3 -Ou
 #encoding: utf8
 
 import localization