96979899100101102103104105106
if (request != null) { try { LOG.debug("Destroying request resource."); request.destroy(); } catch (Throwable e) { LOG.warn("Caught exception when trying to destroy request resource.", e); }
111112113114115116117118119120121
break; } } System.out.println("Have done all the runs, terminating request: " + request.getResourceID()); request.destroy(); System.out.println("Request destroyed"); } catch(Exception e) { e.printStackTrace();