diff src/server/websockets.py @ 1047:3f6f4d907c30

server: better redirection (fixed issue in remaining path arguments)
author Goffi <goffi@goffi.org>
date Wed, 24 Jan 2018 21:46:09 +0100
parents f88325b56a6a
children f2170536ba23
line wrap: on
line diff