diff -r 054dfee29bfc -r f719caf263de web/controller.py --- a/web/controller.py Thu Mar 12 19:43:44 2009 +0100 +++ b/web/controller.py Thu Mar 12 19:44:05 2009 +0100 @@ -22,7 +22,7 @@ ('__redirectpath', '__redirectpath'), ('__redirectparams', '__redirectparams'), ) -NAV_FORM_PARAMETERS = [fp for ap, fp in NAVIGATION_PARAMETERS] +NAV_FORM_PARAMETERS = tuple(fp for ap, fp in NAVIGATION_PARAMETERS) def redirect_params(form): """transform redirection parameters into navigation parameters