diff browser_side/file_tools.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 462fc3359ee3
children d52f529a6d42
line wrap: on
line diff