# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1570133839 -7200
# Node ID ee2654308a579cd0263068fbf186082d014dc927
# Parent  d2a26ec74b318aa59942f82e92e689acddbf45e8
jp: default to "dark" if background is not set and can't be detected

diff -r d2a26ec74b31 -r ee2654308a57 sat_frontends/jp/base.py
--- a/sat_frontends/jp/base.py	Tue Oct 01 22:54:18 2019 +0200
+++ b/sat_frontends/jp/base.py	Thu Oct 03 22:17:19 2019 +0200
@@ -131,9 +131,9 @@
             for c in expected:
                 ch = sys.stdin.read(1)
                 if ch != c:
-                    # background id is not supported
+                    # background id is not supported, we default to "dark"
                     # TODO: log something?
-                    return
+                    return 'dark'
             red, green, blue = [int(c, 16)/65535 for c in sys.stdin.read(14).split('/')]
             # '\a' is the last character
             sys.stdin.read(1)