diff src/pages/merge-requests/page_meta.py @ 1006:d0b27d1e2d50

server: moved code to retrieve external server from legacy blog to server.py, and use it to find websocket URL
author Goffi <goffi@goffi.org>
date Sat, 06 Jan 2018 12:37:56 +0100
parents 6ce9647011b3
children d8666fdb015c
line wrap: on
line diff