chiark
/
gitweb
/
~ianmdlvl
/
dsa-metapackages.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
www-master needs libcgi-pm-perl for cgi.debian.org scripts
[dsa-metapackages.git]
/
buildd-reboot
diff --git
a/buildd-reboot
b/buildd-reboot
index d77667dfa1c627de2dd99ec05907820f9977b077..4b0b91fe05144ce30aff20faf89569beeaac7b76 100755
(executable)
--- a/
buildd-reboot
+++ b/
buildd-reboot
@@
-93,7
+93,7
@@
buildd_wait_and_reboot() {
done
echo
done
echo
- if pgrep -u buildd -x buildd || pgrep -u buildd2 -
x buildd; then
+ if pgrep -u buildd -x buildd || pgrep -u buildd2 -x buildd; then
echo "pidfile is gone, but buildd process still runs"
while pgrep -u buildd -x buildd ; do
echo -n "."
echo "pidfile is gone, but buildd process still runs"
while pgrep -u buildd -x buildd ; do
echo -n "."