diff options
| author | Alexander Mezin <mezin.alexander@gmail.com> | 2013-02-02 15:15:19 -0600 |
|---|---|---|
| committer | William Hubbs <w.d.hubbs@gmail.com> | 2013-02-15 13:28:35 -0600 |
| commit | 970893adf3a2f0f7330c4839a716566de14171a3 (patch) | |
| tree | ea2129665d7881e0c754eba70a40c2f57e1a25ce /init.d/devdb.in | |
| parent | f30eec03ce228cc807c84e32823c24e159c7db20 (diff) | |
runscript: retry prefix flock if it is interrupted by a signal
Reported-by: Pacho Ramos <pacho2@gentoo.org>
X-Gentoo-Bug: 434800
X-Gentoo-Bug-URL: https://bugs.gentoo.org/show_bug.cgi?id=434800
Diffstat (limited to 'init.d/devdb.in')
0 files changed, 0 insertions, 0 deletions