Homec4science

2016-10-13 manage_cred +/var/run/manage_cred/manage_cred_{username}.pid

Authored by sbancal on Oct 13 2016, 14:10.

Description

2016-10-13 manage_cred +/var/run/manage_cred/manage_cred_{username}.pid

+ can be triggered with kill -USR1 $(cat /var/run/manage_cred/manage_cred_{username}.pid)
+ can be cleanly ended with kill -TERM $(cat /var/run/manage_cred/manage_cred_{username}.pid)

Details

Committed
sbancalOct 13 2016, 14:10
Pushed
aubruzApr 26 2019, 16:08
Parents
R8811:d3a8836fd847: 2016-10-13 *keep_cred -> manage_cred
Branches
Unknown
Tags
Unknown