diff options
author | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2014-11-27 16:14:51 +0100 |
---|---|---|
committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2014-11-27 16:14:51 +0100 |
commit | 02d182799edf1fc95907bdb3455bfe55569ecc5b (patch) | |
tree | d874150a9285d0ca2a1e374ddd26403d6520266a /bin/setsid.py | |
parent | 48cfb61baa230756706102a811ca24aea5bebbef (diff) | |
download | jenkins.debian.net-02d182799edf1fc95907bdb3455bfe55569ecc5b.tar.xz |
g-i: Use different pixel threshold for d-i and desktop
d-i doesn't have any clockish thing, and its text interface doesn't
change much while progressing, thus needing a small threshold
The LXDE desktop, on the other hand, has by default a CPU meter and
clock, which needs a bigger threshold.
Diffstat (limited to 'bin/setsid.py')
0 files changed, 0 insertions, 0 deletions