[PATCH] correct PID printing in print_header_content()

[Jirka Klimes]

On Thursday 22 of April 2010 14:16:10 Jirka Klimes wrote:
> Hello,
> 
> I've found that a PID returned in an error message is not correct.
> After digging into it, found that PID created in generate_local_port() is
> put to output. However, this is not PID of the application, rather an
> enhanced identifier in highest 10 bits.
> So the patch removes these additional bits when printing.
> 
> Thanks,
> Jirka

Hi Thomas and all,

any thoughts on that?

Jirka