On Tue, Mar 4, 2014 at 10:09 AM, Timothee Cour <thelastmamm...@gmail.com>wrote:

> Thanks, that works
> does it make sense to add a function to do that?
> as it stands there are 2 separate ways,  cast(void*)Thread.getThis and
> cast(void*)getTid, so having a function would make it the preferred way.
>
>
sorry that should be:
cast(void*)Thread.getThis (works)
thisTid doesn't seem useful for purpose of writing a unique identifier (and
can't be cast to void*).
So the question is whether we want a wrapper for cast(void*)Thread.getThis.

Reply via email to