diff browser_side/list_manager.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 63f8469b4ad3
children 20c508f9b32a
line wrap: on
line diff