| changeset 10708 | 61c52fedbd45 |
| parent 10364 | de1e7099d100 |
| child 10999 | 38182ed043b7 |
| 10707:4eaf1b746499 | 10708:61c52fedbd45 |
|---|---|
23 line = file.readline() |
23 line = file.readline() |
24 if not line: |
24 if not line: |
25 break |
25 break |
26 |
26 |
27 start = line[:3] |
27 start = line[:3] |
28 if start == '\"\"\"' or start == "\'\'\'": |
28 if start == '"""' or start == "'''": |
29 line = line[3:] |
29 line = line[3:] |
30 while line: |
30 while line: |
31 if line.rstrip().endswith(start): |
31 if line.rstrip().endswith(start): |
32 line = line.split(start)[0] |
32 line = line.split(start)[0] |
33 if line: |
33 if line: |