Esempi in Python per update_indent

Esempio n. 1

def set_logging(pname):
   global LOGINDENT
   LOGINDENT += 1
   logutils.update_indent(LOGINDENT)
   stat_msg = "PRIMITIVE: {}".format(pname)
   log.status(stat_msg)
   log.status("-" * len(stat_msg))
   return

Esempio n. 2

File: decorators.py Progetto: olyoberdorf/DRAGONS

def zeroset():
    global LOGINDENT
    LOGINDENT = 0
    logutils.update_indent(LOGINDENT)
    return

Esempio n. 3

File: decorators.py Progetto: olyoberdorf/DRAGONS

def unset_logging():
    global LOGINDENT
    log.status(".")
    LOGINDENT -= 1
    logutils.update_indent(LOGINDENT)
    return