diff browser_side/panels.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 ae598511850d
children 20c508f9b32a
line wrap: on
line diff