4849505152535455
} catch (Exception e) { report(this, e); throw e; } catch (Throwable e) { report(this, e); throw new WrappedException(e); } }
7475767778798081
public void run() throws WrappedException { try { base.run(); } catch (Exception e) { report(this, e); throw new WrappedException(e); } }
387388389390391392393394395396397398
Process p = new winterwell.utils.Process("rm -f " + path); p.run(); p.waitFor(1000); if (!file.exists()) return; throw new WrappedException(new IOException( "Could not delete file " + file + "; " + p.getError())); } } throw new WrappedException(new IOException("Could not delete file " + file)); }
99100101102103104105106
nextRecord = getNextRecord(); if (nextRecord != null) { numFields = nextRecord.length; } } catch (IOException e) { throw new WrappedException(e); } }
277278279280281282283284
return record; // ...otherwise someone has poked something, so let's try looking // again return next(); } catch (IOException e) { throw new WrappedException(e); } }