wikifirc

commit e505b268b4194efd2f80de143dc0d670c2c2efa6
parent e34e0be45ed386e4d4837cf4e97967f526dbefc1
Author: Antoine Amarilli <a3nm@a3nm.net>
Date:   Tue, 15 Nov 2016 11:44:33 +0100

re-write list of save pages

Diffstat:
wikifirc
 | 
4
++++

1 file changed, 4 insertions(+), 0 deletions(-)
diff --git a/wikifirc b/wikifirc
@@ -111,6 +111,10 @@ if __name__ == "__main__":
   fout = None
   if dump:
     fout = open(dump, 'w')
+    # rewrite current pages
+    for page in pages:
+      print(page, file=fout)
+    fout.flush()
 
   while True:
     data = sys.stdin.readline()