comparison 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
parents d32b754265a0
children fd4eae654182
comparison
equal deleted inserted replaced
919:7b267496da1d 920:8cea8bf41b03