forwarded message from Henry Cejtin

[Stephen Weeks]

Return-Path: <henry@sourcelight.com>
Received: from localhost (localhost [127.0.0.1])
	by eponym.epr.com (8.11.2/8.11.2) with ESMTP id f7858DJ12981
	for <sweeks@localhost>; Tue, 7 Aug 2001 22:08:13 -0700
Received: from exchange.epr.com [198.3.162.249]
	by localhost with IMAP (fetchmail-5.7.4)
	for sweeks@localhost (single-drop); Tue, 07 Aug 2001 22:08:13 -0700 (PDT)
Received: from maguro.epr.com ([198.3.162.27]) by exchange.epr.com with SMTP (Microsoft Exchange Internet Mail Service Version 5.5.2653.13)
	id QFJG2SY2; Tue, 7 Aug 2001 22:05:43 -0700
Received: from magrathea.epr.com (firewall-user@magrathea.epr.com [198.3.160.1])
	by maguro.epr.com (8.9.3/8.9.3) with ESMTP id WAA14328
	for <sweeks@intertrust.com>; Tue, 7 Aug 2001 22:08:03 -0700 (PDT)
Received: (from uucp@localhost) by magrathea.epr.com (8.9.3/8.7.3) id WAA12692 for <sweeks@intertrust.com>; Tue, 7 Aug 2001 22:08:03 -0700 (PDT)
Received: from nodnsquery(199.249.165.245) by magrathea.epr.com via smap (V5.5)
	id xma012649; Tue, 7 Aug 01 22:07:46 -0700
Received: (from henry@localhost)
	by syzygy.sourcelight.com (8.11.2/8.11.2) id f7857ji17645
	for sweeks@intertrust.com; Wed, 8 Aug 2001 00:07:45 -0500
Message-Id: <200108080507.f7857ji17645@syzygy.sourcelight.com>
From: Henry Cejtin <henry@sourcelight.com>
To: sweeks@intertrust.com
Subject: Re: MLton.Socket.shutdown{Read,Write}
Date: Wed, 8 Aug 2001 00:07:45 -0500

I would vote for flushing on the shutdown.  It makes sense and isn't confusing
since the Unix system only deals with file descriptors, and there is no
stdio version of shutdown.  If there were, I would expect the flush.
(All of this for the output side, of course.)