diff src/libervia.sh @ 643:3e4826948eef frontends_multi_profiles

browser side: do a hard reload on disconnected signal
author Goffi <goffi@goffi.org>
date Tue, 24 Feb 2015 19:15:28 +0100
parents fb81aeccde8b
children acde4b729034
line wrap: on
line diff