<div dir="ltr">Yea, on Windows we can support core dump generation externally without touching the python script, so that's not neded for us.<div><br></div><div>Ironically, at the system level there is a way to specify the return code of the process when you terminate it.  And Python internally must be using this API, because it's the only way to do it.  They just decided not to expose that parameter through the subprocess.terminate() method, and instead they pass their own magic value.  If someone is clever enough to dig through python source code and figure out what value it uses, we could use that.  But I think on Windows it's safe to assume that if you call process.terminate(), then it was a hard terminate, and we can ignore everything else.</div><div><br></div><div>Does that make sense / is easy to do?</div></div><br><div class="gmail_quote"><div dir="ltr">On Mon, Sep 28, 2015 at 12:45 PM Todd Fiala <<a href="mailto:todd.fiala@gmail.com">todd.fiala@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">tfiala added a comment.<br>
<br>
<br>
<br>
> I can get that together (assuming option #1) relatively quickly.<br>
<br>
><br>
<br>
> I don't think we can drop the complexity of the 2-tier kill level in the driver, though, given the desire to support core dump generation.<br>
<br>
<br>
I'm not going to touch this until I hear back from you, though, Zachary.  Anything I do on this is way beyond the time I have to allocate to it at this point, so I'll have to stub out a dead simple solution (i.e. essentially just about what it was doing before) for Windows if none of this sounds good for you.  I have to get OS X to stop hanging.<br>
<br>
<br>
<a href="http://reviews.llvm.org/D13124" rel="noreferrer" target="_blank">http://reviews.llvm.org/D13124</a><br>
<br>
<br>
<br>
</blockquote></div>