Commit 64184b11 authored by anonym's avatar anonym
Browse files

Improve comment.

parent fab237b7
......@@ -74,12 +74,11 @@ def try_for(timeout, options = {})
# than we do it in this function, this means that there is a
# try_for below us in the stack to which this exception must be
# unique to.
# Let 1 be the base step, and 2 the inductive step, and we sort of
# an inductive proof for the correctness of try_for when it's
# nested. It shows that for an infinite stack of try_for:s, any of
# the unique exceptions will be caught only by the try_for instance
# it is unique to, and all try_for:s in between will ignore it so it
# ends up there immediately.
# Let 1 be the base step, and 2 the inductive step, and we have a
# inductive argument for the correctness of nested try_for. It shows
# that for an arbitraily large stack of try_for:s, any of the unique
# exceptions will be caught only by the try_for instance it is
# unique to, and all try_for:s in between will ignore it.
rescue unique_timeout_exception => e
msg = options[:msg] || 'try_for() timeout expired'
exc_class = options[:exception] || Timeout::Error
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment