diff src/server/html_tools.py @ 1046:614843c49d6c

server: fixed unicode exception if old URL in url_redirections had a unicode character
author Goffi <goffi@goffi.org>
date Wed, 24 Jan 2018 21:44:26 +0100
parents fd4eae654182
children f2170536ba23
line wrap: on
line diff