Relaunch kinit if necessary.
authorIain Patterson <me@iain.cx>
Fri, 26 Nov 2010 15:38:49 +0000 (15:38 +0000)
committerIain Patterson <me@iain.cx>
Thu, 9 Dec 2010 15:25:48 +0000 (15:25 +0000)
commitaeb96cb02bc3ec6be1adea9bd5c6a1dbc0e08886
treec0e430ebd0ac2f032641ce734dfa24f25f8e35ad
parentd888ac6b277e2ff5feb8610bbdc8ae775cef56e5
Relaunch kinit if necessary.

Instead of processing the USR1 signal once to trigger the launch
of kinit, check for a running kinit whose parent is ktmux_helper
when we get USR1.  Do nothing if there is such a kinit but launch
one otherwise.
opt/bin/ktmux_helper