diff options
author | Donald Stufft <donald@stufft.io> | 2013-07-25 00:52:04 -0400 |
---|---|---|
committer | Donald Stufft <donald@stufft.io> | 2013-07-25 00:52:04 -0400 |
commit | 620a7666ea1cb1b26403e363e4fc9cf609f7b859 (patch) | |
tree | a03d389a837241c9b5965d8661924444d6b6880a | |
parent | 7c8ef61a6c54c82b0bd4c5d0ff5bdad67890e92a (diff) | |
download | decorator-620a7666ea1cb1b26403e363e4fc9cf609f7b859.tar.gz |
Use a surrogate key on the simple index
-rw-r--r-- | webui.py | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -780,7 +780,7 @@ class WebUI: self.handler.send_response(200, 'OK') self.handler.set_content_type('text/html; charset=utf-8') self.handler.send_header('Content-Length', str(len(html))) - self.handler.send_header("Surrogate-Key", "simple") + self.handler.send_header("Surrogate-Key", "simple simple-index") # XXX not quite sure whether this is the right thing for empty # mirrors, but anyway. serial = self.store.changelog_last_serial() or 0 |