From ee633e6ff8c37e5f83b3ebed0c916c15c72f48f0 Mon Sep 17 00:00:00 2001 From: aozhiwei Date: Thu, 28 Nov 2019 15:00:23 +0800 Subject: [PATCH] 1 --- server/tools/scripts/ci/wsproxy/manage.py | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/server/tools/scripts/ci/wsproxy/manage.py b/server/tools/scripts/ci/wsproxy/manage.py index 342778c..733a5e9 100755 --- a/server/tools/scripts/ci/wsproxy/manage.py +++ b/server/tools/scripts/ci/wsproxy/manage.py @@ -29,8 +29,7 @@ def getExeCmdLine(pid): return os.popen('cat /proc/%d/cmdline' % int(pid)).read() def stop(instance_id, node_id, progname): - wsproxy_ids = getRuningProgramPids(progname) - pids = wsproxy_ids + pids = getRuningProgramPids(progname) for pid in pids: exepath = getExePath(pid) cmdline = getExeCmdLine(pid) @@ -38,8 +37,7 @@ def stop(instance_id, node_id, progname): os.popen('kill -9 %d' % int(pid)) def listServer(progname): - wsproxy_ids = getRuningProgramPids(progname) - pids = wsproxy_ids + pids = getRuningProgramPids(progname) for pid in pids: exepath = getExePath(pid) cmdline = getExeCmdLine(pid)