diff src/server/html_tools.py @ 870:a05f3b24f2ec

server: use C.bool for bool options instead of simple int
author Goffi <goffi@goffi.org>
date Mon, 29 Feb 2016 12:37:58 +0100
parents f8a7a046ff9c
children fd4eae654182
line wrap: on
line diff