Function catch

src/ExtUtil.actor.cpp:440–445

			}
			}
		} catch (Error& e) {
			if (e.code() == error_code_end_of_stream) {
				break;
			}
			throw;
		}
	}

	if (!bobs.empty()) {