changeset 12387 | 4f8067c94729 |
parent 12145 | c407b4ca666e |
child 12401 | 4cdaf1adafc8 |
12386:8eedf53547b8 | 12387:4f8067c94729 |
---|---|
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 in ('"""', "'''"): |
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: |