view wk.py @ 239:0e87dc411fe9

Better way to manage updating the wiki. * Make the difference between updating just a single page, and updating the whole wiki. * Properly resolve a just-updated page, but postpone resolving all the rest if we're using background updates. * Don't flatten single metas for the web UI.
author Ludovic Chabant <ludovic@chabant.com>
date Tue, 25 Mar 2014 22:09:14 -0700
parents 2dd7535045eb
children
line wrap: on
line source

#!/usr/local/bin/python
import sys
import logging
import colorama
from wikked.witch import ColoredFormatter, main


# Configure logging.
colorama.init()
root_logger = logging.getLogger()
handler = logging.StreamHandler(stream=sys.stdout)
handler.setFormatter(ColoredFormatter('%(message)s'))
root_logger.addHandler(handler)


if __name__ == "__main__":
    main()