From: David Vasek <david.vasek@nic.cz>
Date: Fri, 31 Oct 2025 11:30:07 +0000 (+0100)
Subject: Merge branch 'fix/PID' into 'master'
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=71b97b5f0c6be53b83f80bef1debd8fdad94cb85;p=thirdparty%2Fknot-dns.git

Merge branch 'fix/PID' into 'master'

Fix: Reuse PID file if current PID matches

See merge request knot/knot-dns!1819
---

71b97b5f0c6be53b83f80bef1debd8fdad94cb85