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