diff options
author | Guido Günther <agx@sigxcpu.org> | 2014-07-14 16:43:10 +0200 |
---|---|---|
committer | Guido Günther <agx@sigxcpu.org> | 2014-07-14 16:43:17 +0200 |
commit | e048b5f1880317e73465eb37ff2238880355df58 (patch) | |
tree | 1f09dc35970391f0c2f3f3b8d94f89c38b66570b | |
parent | d6dba76a8ba31b1a216979439f05cdb7fe25c5c2 (diff) |
Abort early if we found a match
This speeds up the output and avoids duplicate printouts
-rw-r--r-- | debian/patches/0002-Abort-early-if-we-found-a-match.patch | 24 | ||||
-rw-r--r-- | debian/patches/series | 1 |
2 files changed, 25 insertions, 0 deletions
diff --git a/debian/patches/0002-Abort-early-if-we-found-a-match.patch b/debian/patches/0002-Abort-early-if-we-found-a-match.patch new file mode 100644 index 0000000..3513ad6 --- /dev/null +++ b/debian/patches/0002-Abort-early-if-we-found-a-match.patch @@ -0,0 +1,24 @@ +From: =?utf-8?q?Guido_G=C3=BCnther?= <agx@sigxcpu.org> +Date: Mon, 14 Jul 2014 16:12:43 +0200 +Subject: Abort early if we found a match + +Once we found a shared object that a process maps we don't need to +continue with the other shared objects since one is enough to require +a process restart. +--- + whatmaps/command.py | 2 +- + 1 file changed, 1 insertion(+), 1 deletion(-) + +diff --git a/whatmaps/command.py b/whatmaps/command.py +index 7690ef8..e649cbb 100755 +--- a/whatmaps/command.py ++++ b/whatmaps/command.py +@@ -39,7 +39,7 @@ def check_maps(procs, shared_objects): + restart_procs[proc.exe] += [ proc ] + else: + restart_procs[proc.exe] = [ proc ] +- continue ++ break + return restart_procs + + diff --git a/debian/patches/series b/debian/patches/series index bf9b5aa..219effd 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -1 +1,2 @@ 0001-Another-import-bugfix.patch +0002-Abort-early-if-we-found-a-match.patch |