Hacker News new | ask | show | jobs
by scott_s 4961 days ago
I think "close()" is the appropriate name, as it's analogous to closing a file.