Terminate watcher if database changes (#20)
* Terminate watcher if database changes * Format * Update watcher.cpp * Revert "Format" This reverts commit 72d82f4bcecdaffb079aeb07b377271421f5e94b.
Y
Y. committed
96dfa0d32b8126bbdee84f6bdeafe5540d9a1bbe
Parent: 8a72410
Committed by GitHub <noreply@github.com>
on 8/14/2025, 10:47:15 PM