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
def zeroset(): global LOGINDENT LOGINDENT = 0 logutils.update_indent(LOGINDENT) return
def unset_logging(): global LOGINDENT log.status(".") LOGINDENT -= 1 logutils.update_indent(LOGINDENT) return