Python update_indent Beispiele

Beispiel #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

Beispiel #2

Datei: decorators.py Projekt: olyoberdorf/DRAGONS

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

Beispiel #3

Datei: decorators.py Projekt: olyoberdorf/DRAGONS

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