From 4cfdcebd6564f02e7972980dc182620bda02796f Mon Sep 17 00:00:00 2001 From: Peter Palfrader Date: Mon, 14 Jun 2010 17:53:59 +0200 Subject: [PATCH] buildd-reboot: change shutdown time to 1 minute from 15 --- buildd-reboot | 4 ++-- debian/changelog | 3 ++- 2 files changed, 4 insertions(+), 3 deletions(-) diff --git a/buildd-reboot b/buildd-reboot index dc45094..3ba1f04 100755 --- a/buildd-reboot +++ b/buildd-reboot @@ -83,9 +83,9 @@ buildd_wait_and_reboot() { sudo -u buildd sh -c 'echo delete-on-boot > ~buildd/NO-DAEMON-PLEASE' fi if [ "$halt" = 1 ]; then - /sbin/shutdown -h 15 "$reason" + /sbin/shutdown -h 1 "$reason" else - /sbin/shutdown -r 15 "$reason" + /sbin/shutdown -r 1 "$reason" fi } diff --git a/debian/changelog b/debian/changelog index 0c70845..5639273 100644 --- a/debian/changelog +++ b/debian/changelog @@ -2,8 +2,9 @@ debian.org (36) stable; urgency=low * buildd.debian.org: - depend on db4.8-util instead of 4.7. + * buildd-reboot: change shutdown time to 1 minute from 15. - -- Peter Palfrader Mon, 14 Jun 2010 17:52:55 +0200 + -- Peter Palfrader Mon, 14 Jun 2010 17:53:41 +0200 debian.org (35) stable; urgency=low -- 2.30.2