summaryrefslogtreecommitdiff
path: root/linuxnamespaces/filedescriptor.py
AgeCommit message (Collapse)Author
2024-05-25add a FileDescriptor typeHelmut Grohne
It serves two main purposes. For one thing, it allows telling bare integers and file descriptors apart on a typing level similar to a NewType. For another it adds common methods to a file descriptor and enables closing it via a context manager.