jdk/src/java.base/windows/classes/sun/nio/fs/WindowsWatchService.java
changeset 36435 0408881ad616
parent 33674 566777f73c32
child 37727 f33cc7ee4a9c
equal deleted inserted replaced
36434:3fd8dee1b158 36435:0408881ad616
   461             } catch (WindowsException expected) {
   461             } catch (WindowsException expected) {
   462                 // expected as I/O operation has been cancelled
   462                 // expected as I/O operation has been cancelled
   463             }
   463             }
   464             CloseHandle(key.handle());
   464             CloseHandle(key.handle());
   465             closeAttachedEvent(key.overlappedAddress());
   465             closeAttachedEvent(key.overlappedAddress());
   466             key.buffer().cleaner().clean();
   466             key.buffer().free();
   467         }
   467         }
   468 
   468 
   469         /**
   469         /**
   470          * Creates an unnamed event and set it as the hEvent field
   470          * Creates an unnamed event and set it as the hEvent field
   471          * in the given OVERLAPPED structure
   471          * in the given OVERLAPPED structure