From 487212a9f91df58714bc74747ab0537b606f835e Mon Sep 17 00:00:00 2001 From: ccremers Date: Tue, 12 Oct 2004 16:58:29 +0000 Subject: [PATCH] - The TMN protocol was wrongly reporting an error in the protocol. This turned out to be caused by an over-protective first-read detection. --- src/system.c | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/src/system.c b/src/system.c index a256d17..92ce389 100644 --- a/src/system.c +++ b/src/system.c @@ -327,6 +327,10 @@ runsPrint (const System sys) } //! Determine whether a term is sent or claimed, but not read first in a roledef +/** + * @returns True iff the term occurs, and is sent/claimed first. If this returns true, + * we have to prefix a read. + */ int not_read_first (const Roledef rdstart, const Term t) { @@ -341,12 +345,8 @@ not_read_first (const Roledef rdstart, const Term t) } rd = rd->next; } - globalError++; - eprintf ("The term "); - termPrint (t); - eprintf (" is not read or sent in some roledef.\n"); - error ("Aborting."); - globalError--; + /* this term is not read or sent explicitly, which is no problem */ + /* So we signal we don't have to prefix a read */ return 0; }