server/__init__.py
changeset 4223 4fb00ccad3df
parent 4107 1f256b896b1d
child 4252 6c4f109c2b03
equal deleted inserted replaced
4222:5667f493c505 4223:4fb00ccad3df
    28 DBG_RQL = 1   # rql execution information
    28 DBG_RQL = 1   # rql execution information
    29 DBG_SQL = 2   # executed sql
    29 DBG_SQL = 2   # executed sql
    30 DBG_REPO = 4  # repository events
    30 DBG_REPO = 4  # repository events
    31 DBG_MS = 8    # multi-sources
    31 DBG_MS = 8    # multi-sources
    32 DBG_MORE = 16 # more verbosity
    32 DBG_MORE = 16 # more verbosity
    33 
    33 DBG_ALL = 1 + 2 + 4 + 8 + 16
    34 # current debug mode
    34 # current debug mode
    35 DEBUG = 0
    35 DEBUG = 0
    36 
    36 
    37 def set_debug(debugmode):
    37 def set_debug(debugmode):
    38     """change the repository debugging mode"""
    38     """change the repository debugging mode"""