Use RAII to handle inotify resource lifetime, i.e. initialize with actor creation and deinitialize with actor deletion.
1.3 KiB
1.3 KiB
Use RAII to handle inotify resource lifetime, i.e. initialize with actor creation and deinitialize with actor deletion.