# Old manifest: fc59bba86d94bc2bcf8a2d056669138b27702c36 # New manifest: 08ad4135e343591dc59b0a43a09fa594748beb52 # Summary of changes: # # patch src/colinux/os/winnt/user/manager.c # from 54d9959d38b39dad691f3ada127f8e02eff04ca2 # to 9685a3e335efc12501f7ba45782b6b1764ed66e1 # --- src/colinux/os/winnt/user/manager.c +++ src/colinux/os/winnt/user/manager.c @@ -51,8 +51,11 @@ void co_os_manager_close(co_manager_handle_t handle) { + if(!handle) + return; CloseHandle(handle->handle); co_os_free(handle); + handle = 0; } co_rc_t co_os_manager_ioctl(