view .hgtags @ 979:1d558dfb32ca

server: pages redirection: when using a redirection dict, a new "page" key can be used to redirect to a named page. "args" can be added to specified named arguments to set (will be put in request.args, in addition to existing ones). The redirection is done dynamically, during the request workflow.
author Goffi <goffi@goffi.org>
date Sun, 12 Nov 2017 12:56:46 +0100
parents f38b8be94131
children f72064f29d2a
line wrap: on
line source

12e889a683ce07bfdb66ca3952c93fd97329d70c SàT v0.2.0
732ed69ffe11a5116dc9f8e0b084d47cc3f5a658 SàT v0.3.0
f2c380af7304d65703cf2f88882d08b4236fd36e SàT v0.4.0
ff03fdb5215d31e65123da6646589f9393fcd929 SàT v0.5.0
9b217e14fc6a515902a66f719f3131250e83ea56 SàT v0.5.1
0af8a88ef6cd67563075f9daf2a66c4ce98c8443 0.6.0
3d372805f60c80f03bc59430581c5a8958ed436e 0.6.1