IETF Logo Mail Archive

Re: FSM changes for the Draft-15

Randy Bush <randy@psg.com> Thu, 08 November 2001 01:04 UTC

Received: from trapdoor.merit.edu (postfix@trapdoor.merit.edu [198.108.1.26]) by nic.merit.edu (8.9.3/8.9.1) with ESMTP id UAA03935 for <idr-archive@nic.merit.edu>; Wed, 7 Nov 2001 20:04:10 -0500 (EST)
Received: by trapdoor.merit.edu (Postfix) id 6990091237; Wed, 7 Nov 2001 20:03:39 -0500 (EST)
Delivered-To: idr-outgoing@trapdoor.merit.edu
Received: by trapdoor.merit.edu (Postfix, from userid 56) id 3777091252; Wed, 7 Nov 2001 20:03:39 -0500 (EST)
Delivered-To: idr@trapdoor.merit.edu
Received: from segue.merit.edu (segue.merit.edu [198.108.1.41]) by trapdoor.merit.edu (Postfix) with ESMTP id 2D2B291237 for <idr@trapdoor.merit.edu>; Wed, 7 Nov 2001 20:03:38 -0500 (EST)
Received: by segue.merit.edu (Postfix) id 044545DDA1; Wed, 7 Nov 2001 20:03:38 -0500 (EST)
Delivered-To: idr@merit.edu
Received: from rip.psg.com (rip.psg.com [147.28.0.39]) by segue.merit.edu (Postfix) with ESMTP id D3BCD5DD96 for <idr@merit.edu>; Wed, 7 Nov 2001 20:03:37 -0500 (EST)
Received: from randy by rip.psg.com with local (Exim 3.33 #1) id 161dbT-0009LS-00; Wed, 07 Nov 2001 17:03:35 -0800
From: Randy Bush <randy@psg.com>
MIME-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: 7bit
To: Susan Hares <skh@nexthop.com>
Cc: idr@merit.edu
Subject: Re: FSM changes for the Draft-15
References: <5.0.0.25.0.20011107162314.01d39868@mail.nexthop.com>
Message-Id: <E161dbT-0009LS-00@rip.psg.com>
Date: Wed, 07 Nov 2001 17:03:35 -0800
Sender: owner-idr@merit.edu
Precedence: bulk

> I would like to first ask the working group if they want to remove the
> state machine or take fixes to the State machine.

removing, as opposed to adding, formal rigor would seem to require a bit
more explanation than i have heard.

randy

v2.23.0 | Report a Bug | By Email