Scorched earth

Kill misbehaving frameworks, ideally preventing ports from being hogged. 
I was wrong about the try catch. Os kill does throw this if the pid is not
found.
On Oct 27, 2014 10:24 AM, "Mike Smith" <notifications@github.com> wrote:

> In toolset/benchmark/benchmarker.py:
>
> > +          try:
> > +            pid = splitline[6].split('/')[0].strip()
> > +            ps = subprocess.Popen(['ps','p',pid], stdout=subprocess.PIPE)
> > +            # Store some info about this process
> > +            proc = ps.communicate()
> > +            os.kill(int(pid), 15)
> > +            # Sleep for 10 sec; kill can be finicky
> > +            time.sleep(10)
> > +            # Check that PID again
> > +            ps = subprocess.Popen(['ps','p',pid], stdout=subprocess.PIPE)
> > +            dead = ps.communicate()
> > +            if dead in proc:
> > +              os.kill(int(pid), 9)
> > +          except OSError:
> > +            out.write( textwrap.dedent("""
> > +              -----------------------------------------------------
>
> Agreed, but I believe this try/catch is going away soon, either way.
>
> —
> Reply to this email directly or view it on GitHub
> <https://github.com/TechEmpower/FrameworkBenchmarks/pull/1133/files#r19407394>
> .
>