Returns (file, line) for file:line and (current_file, line) for line
(text, current_file)
| 1676 | |
| 1677 | |
| 1678 | def parse_breakpoint(text, current_file): |
| 1679 | '''Returns (file, line) for file:line and (current_file, line) for line''' |
| 1680 | colon = text.find(':') |
| 1681 | if colon == -1: |
| 1682 | return current_file, int(text) |
| 1683 | else: |
| 1684 | return text[:colon], int(text[colon+1:]) |
| 1685 | |
| 1686 | |
| 1687 | def _format_time(timespan, precision=3): |