(lines)
| 79 | |
| 80 | |
| 81 | def extractBodyLines(lines): |
| 82 | bodyLines = [] |
| 83 | |
| 84 | seenEndOfHeader = False |
| 85 | |
| 86 | for line in lines: |
| 87 | if len(line) > 0 and line[0] != "#": |
| 88 | seenEndOfHeader = True |
| 89 | if seenEndOfHeader: |
| 90 | bodyLines.append(line) |
| 91 | # else: |
| 92 | # print "HEAD:", line |
| 93 | if line == eightySharps: |
| 94 | seenEndOfHeader = True |
| 95 | |
| 96 | # print "BODY:", "\nBODY: ".join(bodyLines) |
| 97 | |
| 98 | return bodyLines |
| 99 | |
| 100 | |
| 101 | class PythonHeader: |