diff src/server/websockets.py @ 1063:4b69f69c6ffd

server: new ProgressHandler helper class, to handle progressing actions
author Goffi <goffi@goffi.org>
date Sun, 11 Mar 2018 19:30:37 +0100
parents f2170536ba23
children cdd389ef97bc
line wrap: on
line diff