<html>
<head>
<meta content="text/html; charset=utf-8" http-equiv="Content-Type">
</head>
<body bgcolor="#FFFFFF" text="#000000">
Thomas, It was great catch.<br>
<br>
Here is correct change:<br>
for <a class="issue-link" data-issue-key="JDK-8145038"
href="https://bugs.openjdk.java.net/browse/JDK-8145038"
id="key-val" rel="4857572">JDK-8145038</a> - Simplify
mut_process_buffer worker id management<br>
<br>
<a class="moz-txt-link-freetext" href="http://cr.openjdk.java.net/~aharlap/8145038/webrev.00/">http://cr.openjdk.java.net/~aharlap/8145038/webrev.00/</a><br>
<br>
Alex<br>
<br>
<div class="moz-cite-prefix">On 12/15/2015 4:23 AM, Thomas Schatzl
wrote:<br>
</div>
<blockquote cite="mid:1450171400.1979.0.camel@oracle.com"
type="cite">
<pre wrap="">Hi,
On Mon, 2015-12-14 at 20:31 -0500, Kim Barrett wrote:
</pre>
<blockquote type="cite">
<pre wrap="">On Dec 14, 2015, at 2:39 PM, Alexander Harlap <a class="moz-txt-link-rfc2396E" href="mailto:alexander.harlap@oracle.com"><alexander.harlap@oracle.com></a> wrote:
</pre>
<blockquote type="cite">
<pre wrap="">
JDK-8145037 - Clean up FreeIdSet usage
Proposed change:
<a class="moz-txt-link-freetext" href="http://cr.openjdk.java.net/~aharlap/8145037/webrev.00/">http://cr.openjdk.java.net/~aharlap/8145037/webrev.00/</a>
Alex
</pre>
</blockquote>
<pre wrap="">
"JDK-8145037 - Clean up FreeIdSet usage” is a different problem.
This is a fix for <a class="moz-txt-link-freetext" href="https://bugs.openjdk.java.net/browse/JDK-8145038">https://bugs.openjdk.java.net/browse/JDK-8145038</a> "Simplify mut_process_buffer worker id management”.
I think it’s a good fix for that.
</pre>
</blockquote>
<pre wrap="">
looks good to me as well as fix for JDK-8145038.
Thanks,
Thomas
</pre>
</blockquote>
<br>
</body>
</html>