From 9d5f47a9b745c46054e206ba0e8f48acf3c57a4e Mon Sep 17 00:00:00 2001 From: Niels Thykier Date: Sun, 23 Nov 2014 19:19:33 +0100 Subject: [PATCH] britney: Ignore "remark" hints as they are not meant for us The "remark" hint is only intended for showing up in the output of "d" (or via hint grep). It has no effect on Britney's behaviour. Admittedly, the original code would have ignored it as well. But this change makes it explicit and not simply a "ignored due to insufficient permissions". Signed-off-by: Niels Thykier --- britney.py | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/britney.py b/britney.py index 4a2f82c..3bd172b 100755 --- a/britney.py +++ b/britney.py @@ -853,6 +853,11 @@ class Britney(object): l = line.split() if l[0] == 'finished': break + if l[0] == 'remark': + # Ignore "no-op" hint, which sole purpose is to be + # found by hint grep (and show up in "d"'s + # output). + continue elif l[0] not in self.HINTS[who]: continue elif len(l) == 1: