020_ext-verifier.txt
No OneTemporary
Actions

Size

1 KB

Referenced Files

None

Subscribers

None

020_ext-verifier.txt
View Options

	# vim: ft=sh et :
	#
	# Testing whether the external verifier (before-acquire-handler)
	# is obeyed.


	ticket:
	name "tick1"
	state ST_LEADER
	current_term 40
	leader local
	# may keep ticket all the time
	term_duration 3000
	# but shall start renewal now
	term_expires time(0) + 1000
	req_sent_at time(0) - 10


	gdb0:
	call parse_extprog("test `set\|grep ^BOOTH\|wc -l` -ge 5", booth_conf->ticket+0)

	outgoing0:
	header.cmd OP_HEARTBEAT


	ticket1:
	ext_verifier 'test "$BOOTH_TICKET" == "tick1"'
	# cause re-query of the verifier
	req_sent_at time(0) - 10

	#
	#gdb1:
	# break ticket_broadcast_proposed_state § commands § bt § c § end


	outgoing1:
	header.cmd OP_HEARTBEAT


	# now say that we may not have it anymore.
	ticket2:
	ext_verifier 'test "$BOOTH_TICKET" == "tick2FOO"'
	# cause re-query of the verifier
	req_sent_at time(0) - 10

	# We just tell the others we don't have it anymore.
	outgoing2:
	header.cmd OP_REQ_VOTE
	ticket.leader -1

	finally:
	state ST_FOLLOWER
	leader NULL