diff src/server/websockets.py @ 1033:c34f08e05cdf

pages: cache is now working even after pageRedirect
author Goffi <goffi@goffi.org>
date Mon, 22 Jan 2018 22:19:26 +0100
parents f88325b56a6a
children f2170536ba23
line wrap: on
line diff