comparison src/server/html_tools.py @ 881:6bdee34fa2f4

server: added base_url_ext option to handle different external URLs (e.g.: if there is a proxy)
author Goffi <goffi@goffi.org>
date Wed, 09 Mar 2016 18:38:52 +0100
parents f8a7a046ff9c
children fd4eae654182
comparison
equal deleted inserted replaced
880:ccbad50e1426 881:6bdee34fa2f4