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
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