<html>
<head>
<meta content="text/html; charset=UTF-8" http-equiv="Content-Type">
</head>
<body text="#000000" bgcolor="#FFFFFF">
Hi Stefan,<br>
<br>
Please see my response to your other mail.<br>
<br>
<br>
<div class="moz-cite-prefix">On 5/28/2013 1:19 AM, Stefan Karlsson
wrote:<br>
</div>
<blockquote cite="mid:51A46896.6020801@oracle.com" type="cite">
<meta content="text/html; charset=UTF-8" http-equiv="Content-Type">
<br>
I've looked through the patch and I think it looks good.<br>
<br>
However, I think that you should remove the added worker_id
parameters and I sympathize with Thomas' concern about the code
duplication.<br>
</blockquote>
<br>
Thanks. I'll remove the extra parameter for now but if I need it
again...<br>
<br>
I like Thomas' idea about the duplication. I'm going to follow his
suggestion.<br>
<br>
JohnC<br>
<br>
</body>
</html>