##// END OF EJS Templates
Remove websocket support. JS internal auto-update works fine enough
Remove websocket support. JS internal auto-update works fine enough

File last commit:

r1157:d41f2b1c merge decentral
r1760:641fa167 default
Show More
settings.py
18 lines | 346 B | text/x-python | PythonLexer
import configparser
config = configparser.ConfigParser()
config.read('boards/config/default_settings.ini')
config.read('boards/config/settings.ini')
def get(section, name):
return config[section][name]
def get_int(section, name):
return int(get(section, name))
def get_bool(section, name):
return get(section, name) == 'true'