comparison 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
comparison
equal deleted inserted replaced
1045:b2eeb9ac2ab8 1046:614843c49d6c