060_catchup_same_owner.txt
No OneTemporary
Actions

Size

920 B

Referenced Files

None

Subscribers

None

060_catchup_same_owner.txt
View Options

	# vim: ft=sh et :
	# We've got the ticket; a peer agrees with us re. owner, but has a
	# higher term number.
	# We must not lose the ticket.

	ticket:
	state ST_LEADER
	current_term 100
	leader local
	term_expires time(0) + 35
	term_duration 3000
	retries 6
	timeout 1
	hb_sent_at time(0) - 2000


	gdb0:
	watch booth_conf->ticket[0].leader § commands § bt § c § end

	# No message0

	outgoing0:
	header.cmd OP_HEARTBEAT
	header.result RLT_SUCCESS
	ticket.term 100
	ticket.leader local->site_id


	message1: # same owner
	header.cmd OP_HEARTBEAT
	header.result RLT_SUCCESS
	header.from booth_conf->site[2].site_id
	ticket.term 110
	ticket.leader local->site_id

	finally:
	leader local