"getpid()" returns "tgid" not "pid", so this is correct. Fix from Saurabh Desai.
Attach a file by drag & drop or click to upload