diff src/browser/sat_browser/editor_widget.py @ 920:8cea8bf41b03

server: new purgeSession and getSessionData helper methods
author Goffi <goffi@goffi.org>
date Wed, 29 Mar 2017 19:46:27 +0200 (2017-03-29)
parents d32b754265a0
children fd4eae654182
line wrap: on
line diff