public void end_flushBatchRequests(AsyncResult r)
{
if(r != null && r.getConnection() != this)
{
const string msg = "Connection for call to end_" + __flushBatchRequests_name +
" does not match connection that was used to call corresponding begin_" +
__flushBatchRequests_name + " method";
throw new ArgumentException(msg);
}
AsyncResultI.check(r, __flushBatchRequests_name).wait();
}
