PR# 13278 exception loop on EV_APPLICATION_IMP

In EV_APPLICATION_IMP:

	call_post_launch_actions
			-- Call the post launch actions.
			-- (from EV_APPLICATION_I)
		local
			retried: BOOLEAN
		do
			if not retried then
				post_launch_actions.call (Void)
			else
				on_exception_action (new_exception)
			end
		rescue
			retried := True
			retry
		end

loops infinitely when there's an exception in new_exception (EXCEPTIONS.exception_trace creates an exception in my case)

the rescue clause should read:

      if not retried then
           retried := True
           retry
       end

as should all/most such rescue clauses that do a retry.

etr

This issue has now been resolved, thanks for the bug report.