# HG changeset patch
# User Ludovic Chabant <ludovic@chabant.com>
# Date 1385098513 28800
# Node ID 7c7f7eca51ae8a5a3002ceab5b34494564eeba0e
# Parent  e2df85f9b23d3bbf5ac491f6ccb7832090601d1b
Don't re-cache all pages by default with some CLI commands.

diff -r e2df85f9b23d -r 7c7f7eca51ae manage.py
--- a/manage.py	Tue Nov 19 23:07:50 2013 -0800
+++ b/manage.py	Thu Nov 21 21:35:13 2013 -0800
@@ -34,18 +34,18 @@
 
 
 @manager.command
-def reset():
+def reset(cache=False):
     """ Re-generates the database and the full-text-search index.
     """
-    wiki.reset()
+    wiki.reset(cache_ext_data=cache)
 
 
 @manager.command
-def update(url=None):
+def update(url=None, cache=False):
     """ Updates the database and the full-text-search index with any
         changed/new files.
     """
-    wiki.update(url)
+    wiki.update(url, cache_ext_data=cache)
 
 
 @manager.command