My suggestion was `executor.use( { it.shutdown() }...
# announcementsc
cedric
08/14/2016, 8:04 PMMy suggestion was
executor.use( { it.shutdown() }) { /* use the executor */ }cedric
08/14/2016, 8:04 PMexecutor.use( { it.shutdown() }) { /* use the executor */ }