# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1596293764 -7200
# Node ID eb85ef26cb4a2525366da44df8236bd333a3f716
# Parent  0cbf86b1dcca6f40ce7b6fe25e126707c3d2a910
server: use `bulma` theme as default for default site:

`default` theme is not used for now as real default, because dev work is focusing on bulma
theme, and the default one may be broken. This should (or may not) change in the future.

diff -r 0cbf86b1dcca -r eb85ef26cb4a libervia/server/server.py
--- a/libervia/server/server.py	Sat Aug 01 16:47:24 2020 +0200
+++ b/libervia/server/server.py	Sat Aug 01 16:56:04 2020 +0200
@@ -182,7 +182,15 @@
         self.host_name = host_name
         self.site_name = site_name
         self.site_path = Path(site_path)
-        self.default_theme = self.getConfig('theme', C.TEMPLATE_THEME_DEFAULT)
+        self.default_theme = self.getConfig('theme')
+        if self.default_theme is None:
+            if not host_name:
+                # FIXME: we use bulma theme by default for main site for now
+                #   as the development is focusing on this one, and default theme may
+                #   be broken
+                self.default_theme = 'bulma'
+            else:
+                self.default_theme =  C.TEMPLATE_THEME_DEFAULT
         self.site_themes = set()
         self.named_pages = {}
         self.browser_modules = {}