Searched defs:closeOnEnd (Results 1 – 12 of 12) sorted by relevance
165 closeOnEnd c f = closeEOF c f function175 closeOnEnd c f = closeEOF c f function182 closeOnEnd (Connection c) f = Network.TCP.closeEOF c f function205 closeOnEnd c f = closeEOF c f function
67 …closeOnEnd _sk _ = return () -- can't really deal with this, so do run the risk of leaking socket… function
166 closeOnEnd c f = closeEOF c f function176 closeOnEnd c f = closeEOF c f function183 closeOnEnd (Connection c) f = Network.TCP.closeEOF c f function206 closeOnEnd c f = closeEOF c f function
75 closeOnEnd _ _ = return () function
248 JCheckBoxMenuItem closeOnEnd = new JCheckBoxMenuItem(Resource.getString(Keys.KEY_closeOnEnd[0])); in buildFileMenu() local