logo
Free, unlimited AI code reviews that run on commit
git-lrc git-lrc GitHub Install Now We'd appreciate a star git-lrc - Free, unlimited AI code reviews that run on commit | Product Hunt git-lrc - Free, unlimited AI code reviews that run on commit | Product Hunt

lei-daemon-kill - signal the lei-daemon

Contact

       Feedback welcome via plain-text mail to <mailto:meta@public-inbox.org>

       The      mail      archives      are      hosted      at       <https://public-inbox.org/meta/>       and
       <http://4uok3hntl7oi7b4uf4rtfwefqeexfzil2w6kgk2jn5z2f764irre7byd.onion/meta/>

Description

       Send a signal to the lei-daemon(8).  "SIGNAL" defaults to "TERM".

       This command should be run after updating the code of lei.

Name

       lei-daemon-kill - signal the lei-daemon

See Also

lei-daemon-pid(1), lei-daemon(8)

public-inbox.git                                   1993-10-02                                 LEI-DAEMON-KILL(1)

Signals

       SIGTERM Send  a  graceful  termination  signal.   lei-daemon(8)  will exit when all currently running lei
               commands are done.  The listen socket will be released as soon as  the  signal  is  processed  so
               another lei-daemon(8) process can take its place.

       SIGKILL Kills  lei-daemon(8)  immediately.   Some worker processes may remain running after a short while
               after this takes effect.

Synopsis

       lei daemon-kill [-SIGNAL | -s SIGNAL | --signal SIGNAL]

See Also