Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!mnetor!seismo!mcvax!enea!kuling!victor
From: victor@kuling.UUCP (Bjorn Victor)
Newsgroups: comp.protocols.tcp-ip
Subject: Interpreting RFC 793
Message-ID: <288@kuling.UUCP>
Date: Tue, 21-Apr-87 15:24:47 EST
Article-I.D.: kuling.288
Posted: Tue Apr 21 15:24:47 1987
Date-Received: Thu, 23-Apr-87 04:49:40 EST
Reply-To: victor@kuling.UUCP (Bjorn Victor)
Distribution: world
Organization: Department of Computer Systems, Uppsala University, Sweden
Lines: 26

As I'm working on a TCP implementation, I have a question on the
interpretation of RFC 793 (please look in your copy):

On page 73 (Segment Arrives, otherwise clause, ACK bit clause), in
state FIN-WAIT-1, it says
    "..., if our FIN is now acknowledged then enter FIN-WAIT-2 and
    continue processing in that state."
On page 75 (Segment Arrives, otherwise clause, FIN bit clause), in
state FIN-WAIT-1, it says
    "If our FIN has been ACKed (perhaps in this segment), then enter
    TIME-WAIT, ..."

Now, could somebody please explain how we could possibly "execute" the
quoted sentence on page 75?  If our FIN *was* ACKed, we're no longer
in the FIN-WAIT-1 state!?

Also, if someone could point me to a more formal description of TCP,
I'd be more than happy.

--Bjorn Victor		       UUCP: {mcvax,seismo}!enea!kuling!victor
Dept. of Computer Systems      ARPA: Victor%Carmen.UU.SE@Seismo.CSS.GOV,
Uppsala University, SWEDEN	     victor%kuling.UU.SE@Seismo.CSS.GOV
-- 
--Bjorn Victor		       UUCP: {mcvax,seismo}!enea!kuling!victor
Dept. of Computer Systems      ARPA: Victor%Carmen.UU.SE@Seismo.CSS.GOV,
Uppsala University, SWEDEN	     victor%kuling.UU.SE@Seismo.CSS.GOV