diff src/server/pages_tools.py @ 1105:e6ff5530900e

server: fixed service profile's cache
author Goffi <goffi@goffi.org>
date Sun, 03 Jun 2018 10:32:57 +0200
parents 5e809a49971c
children cdd389ef97bc
line wrap: on
line diff