# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1424801728 -3600
# Node ID 3e4826948eef4c13266c4a50d848ba80f484a555
# Parent  5af02673d047479819222b17b7bd2d2fc0e20fb0
browser side: do a hard reload on disconnected signal

diff -r 5af02673d047 -r 3e4826948eef src/browser/libervia_main.py
--- a/src/browser/libervia_main.py	Tue Feb 24 19:15:07 2015 +0100
+++ b/src/browser/libervia_main.py	Tue Feb 24 19:15:28 2015 +0100
@@ -366,6 +366,10 @@
         log.debug("newWidget: {}".format(widget))
         self.addWidget(widget)
 
+    def disconnectedHandler(self, profile):
+        QuickApp.disconnectedHandler(self, profile)
+        Window.getLocation().reload()
+
     def setStatusOnline(self, online=True, show="", statuses={}, profile=C.PROF_KEY_NONE):
         log.warning("setStatusOnline is not implemented, as session are for unique profile which is always online for now")