]> git.tue.mpg.de Git - paraslash.git/commitdiff
Merge branch 'maint'
authorAndre Noll <maan@tuebingen.mpg.de>
Fri, 25 Nov 2022 12:27:13 +0000 (13:27 +0100)
committerAndre Noll <maan@tuebingen.mpg.de>
Fri, 25 Nov 2022 12:27:13 +0000 (13:27 +0100)
This fixes two old bugs related to signal handling which bite only
rarely. But if they do, it hurts plenty.

* maint:
  server: Fix race condition in com_stat().
  server: Avoid deadlock in daemon_log().

1  2 
command.c
signal.c

diff --cc command.c
Simple merge
diff --cc signal.c
Simple merge