On Fri, Dec 07, 2012 at 10:31:57AM -0500, Diego Novillo wrote:
>On Thu, Dec 6, 2012 at 1:12 PM, Bernhard Reutner-Fischer
> wrote:
>
>> def IsComment(line):
>>"""Return True if line is a comment."""
>> - return line.startswith('#')
>> + return bool(re.matches("#", line))
>
>startswith() is a
On Thu, Dec 13, 2012 at 10:12 AM, Bernhard Reutner-Fischer
wrote:
> On Fri, Dec 07, 2012 at 10:31:57AM -0500, Diego Novillo wrote:
>>On Thu, Dec 6, 2012 at 1:12 PM, Bernhard Reutner-Fischer
>> wrote:
>
> @@ -210,12 +211,12 @@ def IsInterestingResult(line):
>if '|' in line:
> (_, line) = l
On Fri, Dec 07, 2012 at 10:31:57AM -0500, Diego Novillo wrote:
>On Thu, Dec 6, 2012 at 1:12 PM, Bernhard Reutner-Fischer
> wrote:
@@ -210,12 +211,12 @@ def IsInterestingResult(line):
if '|' in line:
(_, line) = line.split('|', 1)
line = line.strip()
- return any(line.startswith(resul
On Thu, Dec 6, 2012 at 1:12 PM, Bernhard Reutner-Fischer
wrote:
> def IsComment(line):
>"""Return True if line is a comment."""
> - return line.startswith('#')
> + return bool(re.matches("#", line))
startswith() is a better match here.
> def IsInclude(line):
>"""Return True if line