Hacker News new | ask | show | jobs
by burpsnard 2209 days ago
In the olden days, it was just out.flush(); out.close();