(info, file=None)
| 1073 | |
| 1074 | |
| 1075 | def dump_info(info, file=None): |
| 1076 | title = "Python debug information" |
| 1077 | print(title) |
| 1078 | print("=" * len(title)) |
| 1079 | print() |
| 1080 | |
| 1081 | infos = info.get_infos() |
| 1082 | infos = sorted(infos.items()) |
| 1083 | for key, value in infos: |
| 1084 | value = value.replace("\n", " ") |
| 1085 | print("%s: %s" % (key, value)) |
| 1086 | |
| 1087 | |
| 1088 | def main(): |