diff src/pages/g/page_meta.py @ 1090:9c41b7e91172

server: set jid and started time in session on log-in: session make the difference between local libervia session ("started"), and backend session ("backend_started")
author Goffi <goffi@goffi.org>
date Fri, 01 Jun 2018 12:55:25 +0200
parents 5cdd77190a3b
children 01e95ec9df9e
line wrap: on
line diff