Hi,
there is now a function async_port_destroy(). Servers can now use it to destroy port created with async_create_port(). Servers should now use this function in the cleanup paths (error path, destructor/clean-up function). Cheers, Jiri
_______________________________________________ HelenOS-devel mailing list [email protected] http://lists.modry.cz/listinfo/helenos-devel
