737738739740741742743744745746747748749750751
{ } return null; } }; Callable timedCallable = new TimedCallable(callable, CLOSE_TIMEOUT); try { timedCallable.call(); } catch (Throwable t) { //Ignore - the server might have already closed - so this is ok }
814815816817818819820821822823824825826827828
708709710711712713714715716717718719720721722
979899100101102103104105106
} }; /* Convert to TimedCallable if timeout is specified. */ long msecs = getTimeout(); if (msecs != 0) { function = new TimedCallable(function, msecs); } setter(function).run(); SwingUtilities.invokeLater(doFinished); }
721722723724725726727728729730731732733734735
773774775776777778779780781782783784785786787
} return null; } }; Callable timedCallable = new TimedCallable(callable, CLOSE_TIMEOUT); try { timedCallable.call(); } catch (Throwable t) { // Ignore - the server might have already closed - so this is ok }
868869870871872873874875876877878879880881882
746747748749750751752753754755756757758759760
823824825826827828829830831832833834835836837