]> git.ipfire.org Git - thirdparty/knot-dns.git/commitdiff
projects / thirdparty / knot-dns.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: a9243dc 70f3fa3)
Merge branch 'fix/PID' into 'master'
authorDavid Vasek <david.vasek@nic.cz>
Fri, 31 Oct 2025 11:30:07 +0000 (12:30 +0100)
committerDavid Vasek <david.vasek@nic.cz>
Fri, 31 Oct 2025 11:30:07 +0000 (12:30 +0100)
Fix: Reuse PID file if current PID matches

See merge request knot/knot-dns!1819


Trivial merge
Mirror of https://gitlab.nic.cz/knot/knot-dns.git