Commit 077eeeb2 authored by seb's avatar seb
Browse files

Binding Update clean up added

parent 4356c9d3

ttcn3/EtsiLibrary/LibIpv6/LibMobility/LibIpv6_Rfc3775Mipv6_Functions.ttcn

+5 −2
Original line number Diff line number Diff line
@@ -241,6 +241,7 @@ module LibIpv6_Rfc3775Mipv6_Functions { 
		function f_sendBindUpAndWaitForBindAck(	in template Ipv6Address p_mnCoaTn,

														in template Ipv6Address p_mnHoaTn,

														in template Ipv6Address p_haGlaNut,

														in UInt16 p_seqNr,

														in UInt16 p_timeUnits)

		runs on Ipv6Node

		return FncRetCode {
@@ -257,7 +258,7 @@ module LibIpv6_Rfc3775Mipv6_Functions { 
																							m_dstOpt_homeAddr(p_mnHoaTn))),

																m_extHdr_mipHeader (c_noNextHdr,

																					c_bindingUpdate,

																					m_bindingUpdate(c_defSeqNo,

																					m_bindingUpdate(p_seqNr,

																									c_aFlag1,

																									c_hFlag1,

																									c_lFlag0,
@@ -280,7 +281,7 @@ module LibIpv6_Rfc3775Mipv6_Functions { 
																					m_routingHeaderData_homeAddress(p_mnHoaTn)),

														mw_extHdr_mipHeader (	c_noNextHdr,

																				c_bindingAck,

																				mw_bindingAck(c_defSeqNo))))) {

																				mw_bindingAck(p_seqNr))))) {

						tc_ac.stop;	

						v_ret := e_success ;

					}
@@ -717,6 +718,7 @@ module LibIpv6_Rfc3775Mipv6_Functions { 
			v_ret := f_sendBindUpAndWaitForBindAck(	p_mnCoaTn,

													p_mnHoaTn,

													v_haGlasNut[0],

													c_defSeqNo,

													c_100TimeUnits);

		}

		if (v_ret == e_success) {
@@ -748,6 +750,7 @@ module LibIpv6_Rfc3775Mipv6_Functions { 
			f_sendBindUpAndWaitForBindAck(	p_mnCoaTn,

											p_mnHoaTn,

											v_haGlasNut[0],

											c_defSeqNo,

											c_100TimeUnits);

		}

		if(v_ret == e_success) {