[PATCH] Use user ID number instead of name

[Chris Johns]

> On 3 Dec 2019, at 6:17 pm, Sebastian Huber <Sebastian.Huber at embedded-brains.de> wrote:
> 
> This helps to avoid issues with user names which contain space
> characters.

Looks good. Please push. 

Thanks
Chris