[CRIU] [PATCH] posix-times: don't fail if /proc/PID/times is absent

[Pavel Emelyanov]

On 07/02/2013 08:15 PM, Andrew Vagin wrote:
> On Tue, Jul 02, 2013 at 07:29:40PM +0400, Pavel Emelyanov wrote:
>> On 07/02/2013 07:23 PM, Andrey Vagin wrote:
>>> /proc/PID/times was added in 3.10, but FC19 relesead with 3.9.
>>>
>>> Usually we support only last version of kernel in the project git, so
>>> we can commit it as an additional patch for the fedora package.
>>
>> No, it's OK to keep in in HEAD. We do the same e.g. for sock diag.
> 
> Actually it isn't the same, because if sock diag fails for one type of
> sockets and a process has sockets of this type, crtools dump will fail.
> 
> And one more point is that socket diag can be disabled in a kernel
> config, and crtools should be ready for such cases.

OK, convinced. Plz, add this patch as Fedora-19 specific.