git-interrupt_timeout
authorGNU Libc Maintainers <debian-glibc@lists.debian.org>
Wed, 5 Dec 2018 18:50:21 +0000 (18:50 +0000)
committerAurelien Jarno <aurel32@debian.org>
Wed, 5 Dec 2018 18:50:21 +0000 (18:50 +0000)
commit5a4e84f4e11943f6244e00695f62fb501588f77a
tree771f941d165b1f39355256e76be2cd198d38f176
parent7ff273dc800cf4189d32c8fe0d6796b92979519d
git-interrupt_timeout

commit 6849ff19657e8f7e6a83e9aaae07eb45269dc7d4
Author: Samuel Thibault <samuel.thibault@ens-lyon.org>
Date:   Tue Oct 9 22:27:59 2018 +0200

    hurd: set interrupt timeout to 1 minute

    Seeing a server not able to get interrupted for 3s is not so surprising when
    e.g. a lot of writes are happening. 1 minute allows to actually notice the
    issue and be able to debug it.

            * hurd/hurdsig.c (_hurd_interrupted_rpc_timeout): Set to 60000.

Gbp-Pq: Topic hurd-i386
Gbp-Pq: Name git-interrupt_timeout.diff
hurd/hurdsig.c