##// END OF EJS Templates
Put thread id parameter into POST body instead of GET param when getting a...
Put thread id parameter into POST body instead of GET param when getting a thread diff

File last commit:

r1157:d41f2b1c merge decentral
r1191:0993e95c 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'