Description

Moving a directory into or out of the serve_header.py root is not detected.

Reproduction steps

Move a directory into or out of the serve_header.py root directory.

Expected vs. actual results

The directory is added to or removed from the list of work trees being served.

Minimal code example

No response

Error messages

No response

Compiler and operating system

n/a

Library version

develop

Validation

• The bug also occurs if the latest version from the develop branch is used.
• I can successfully compile and run the unit tests.