<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Sat, Mar 15, 2014 at 6:54 PM, Loc Hoguin <span dir="ltr"><<a href="mailto:essen@ninenines.eu" target="_blank">essen@ninenines.eu</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><div class="">In what release port monitoring would land, presumably?<br>
</div></blockquote><div><br></div><div>I don't know. If someone wants it the fastest way to get it in is submitting a patch. Doing the coding should be relatively similar to how link works with ports, so shouldn't (tm) be too hard.</div>
<div></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><div class=""></div><div class=""><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">
Speaking of erlang:monitor, we have also been talking about adding a<br>
erlang:monitor/3 which would as a third argument take the identifier<br>
that you want to be sent back to the caller instead of the current<br>
reference. Is that something which could be useful to anyone?<br>
</blockquote>
<br></div>
That does sound like something I could use, yes.<br>
<br>
The Gun HTTP client API (a few days from being public) creates a process per connection, and then each request on the connection gets a reference. If the user wants to do many requests on the same connection, then creating a separate reference for the monitor makes sense, however I could use what you propose when the user wants to do a single request and then close the connection, we can reuse the reference from the request in the monitor instead of creating two references.<br>

<br>
Doing it the other way (use the monitor ref as the request ref) would complicate the API, so that's not an option.</blockquote><div><br></div><div>Good to know!</div></div></div></div>