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)