chiark / gitweb /
buildd-reboot: Only touch no-daemon-please if there is currently a buildd.pid.
authorPeter Palfrader <peter@palfrader.org>
Sat, 24 Oct 2009 18:29:58 +0000 (20:29 +0200)
committerPeter Palfrader <peter@palfrader.org>
Sat, 24 Oct 2009 18:29:58 +0000 (20:29 +0200)

No differences found