diff browser_side/menu.py @ 421:39b07289ff42

server_side: added parameter port_https_ext (external port for HTTPS, used for example for the redirection)
author souliane <souliane@mailoo.org>
date Tue, 25 Mar 2014 16:09:12 +0100
parents f539f6f8ee9c
children 4fcf9bac109c
line wrap: on
line diff