On Wed, Jul 13, 2016 at 8:01 AM, Carsten Ziegeler <[email protected]> wrote:
> ...We really have to fix our code and get rid of most of the usage of PIDs...

And use SERVICE_ID instead when we need a unique key to the service?

-Bertrand

Reply via email to