From 62c845a7d97eea0c2740b8f488a62b6c08eb4331 Mon Sep 17 00:00:00 2001 From: Giampaolo Rodola Date: Tue, 7 Nov 2017 11:23:04 +0100 Subject: [PATCH] fix #1166 (doc mistake) --- DEVGUIDE.rst | 2 +- docs/index.rst | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/DEVGUIDE.rst b/DEVGUIDE.rst index 9b26fba9d..2d0af7fc2 100644 --- a/DEVGUIDE.rst +++ b/DEVGUIDE.rst @@ -44,7 +44,7 @@ Some useful make commands:: $ make setup-dev-env # install useful dev libs (pyflakes, unittest2, etc.) $ make test # run unit tests $ make test-memleaks # run memory leak tests - $ make coverage # run test coverage + $ make test-coverage # run test coverage $ make flake8 # run PEP8 linter There are some differences between ``make`` on UNIX and Windows. diff --git a/docs/index.rst b/docs/index.rst index ac591d303..f9f4f3988 100644 --- a/docs/index.rst +++ b/docs/index.rst @@ -2429,13 +2429,13 @@ resources. for p in procs: p.terminate() gone, alive = psutil.wait_procs(procs, timeout=timeout, callback=on_terminate) - if not alive: + if alive: # send SIGKILL for p in alive: print("process {} survived SIGTERM; trying SIGKILL" % p) p.kill() gone, alive = psutil.wait_procs(alive, timeout=timeout, callback=on_terminate) - if not alive: + if alive: # give up for p in alive: print("process {} survived SIGKILL; giving up" % p)