tree 41a5e7327d5e59952fafe6e2be0c2ac8e6cad80e
parent 90efa03f5f734560830b3cdaf1728a2ca0881184
author Milos Gligoric <milos.gligoric@gmail.com> 1610213627 -0600
committer Gilles Sadowski <gilleseran@gmail.com> 1610240149 +0100

Shutdown execution services once the results are taken.

Closes #170.