chiark / gitweb /
buildd-reboot: change shutdown time to 1 minute from 15
authorPeter Palfrader <peter@palfrader.org>
Mon, 14 Jun 2010 15:53:59 +0000 (17:53 +0200)
committerPeter Palfrader <peter@palfrader.org>
Mon, 14 Jun 2010 15:53:59 +0000 (17:53 +0200)
buildd-reboot
debian/changelog

index dc45094..3ba1f04 100755 (executable)
@@ -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
                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
        else
-               /sbin/shutdown -r 15 "$reason"
+               /sbin/shutdown -r 1 "$reason"
        fi
 }
 
        fi
 }
 
index 0c70845..5639273 100644 (file)
@@ -2,8 +2,9 @@ debian.org (36) stable; urgency=low
 
   * buildd.debian.org:
     - depend on db4.8-util instead of 4.7.
 
   * buildd.debian.org:
     - depend on db4.8-util instead of 4.7.
+  * buildd-reboot: change shutdown time to 1 minute from 15.
 
 
- -- Peter Palfrader <weasel@debian.org>  Mon, 14 Jun 2010 17:52:55 +0200
+ -- Peter Palfrader <weasel@debian.org>  Mon, 14 Jun 2010 17:53:41 +0200
 
 debian.org (35) stable; urgency=low
 
 
 debian.org (35) stable; urgency=low