# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1578647252 -3600
# Node ID 178acd78582318832687b2754b9f08bb71f534b4
# Parent  5bd801bd36aa4ada7a67884bbfb39ba243037f8d
server: log Libervia version when backend is ready

diff -r 5bd801bd36aa -r 178acd785823 libervia/server/server.py
--- a/libervia/server/server.py	Fri Jan 10 10:07:11 2020 +0100
+++ b/libervia/server/server.py	Fri Jan 10 10:07:32 2020 +0100
@@ -731,6 +731,7 @@
 
     @defer.inlineCallbacks
     def backendReady(self, __):
+        log.info(f"launching Libervia v{self.full_version}")
         if self.options['dev_mode']:
             log.info(_("Developer mode activated"))
         self.media_dir = self.bridge.getConfig("", "media_dir")