1
0
Fork 0
mirror of https://github.com/NixOS/nix synced 2025-06-25 06:31:14 +02:00

Merge pull request #12736 from Mic92/monitor-fd-hup

`MonitorFdHup::~MonitorFdHup`: use proper close method instead of lib…
This commit is contained in:
Jörg Thalheim 2025-03-24 13:15:27 +01:00 committed by GitHub
commit ebcb13842b
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -122,7 +122,7 @@ public:
~MonitorFdHup()
{
close(notifyPipe.writeSide.get());
notifyPipe.writeSide.close();
thread.join();
}
};