741742743744745746747748749750751
Callable timedCallable = new TimedCallable(callable, CLOSE_TIMEOUT); try { timedCallable.call(); } catch (Throwable t) { //Ignore - the server might have already closed - so this is ok }
818819820821822823824825826827828
712713714715716717718719720721722
725726727728729730731732733734735
777778779780781782783784785786787
Callable timedCallable = new TimedCallable(callable, CLOSE_TIMEOUT); try { timedCallable.call(); } catch (Throwable t) { // Ignore - the server might have already closed - so this is ok }
872873874875876877878879880881882
750751752753754755756757758759760
827828829830831832833834835836837
580581582583584585586587588589590
/* */ } /* */ }; /* 708 */ Callable timedCallable = new TimedCallable(callable, 2000L); /* */ try /* */ { /* 712 */ timedCallable.call(); /* */ } /* */ catch (Throwable t) /* */ { /* */ } /* */