Skip to content

Commit

Permalink
Merge branch 'dev' into dev
Browse files Browse the repository at this point in the history
  • Loading branch information
achael authored Apr 8, 2019
2 parents a0adbb9 + 1df5c36 commit 5d0c3ea
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion ehtim/parloop.py
Original file line number Diff line number Diff line change
@@ -50,7 +50,8 @@ def run_loop(self, arglist, processes=-1):
pool.terminate()
print('pool terminated')
except Exception as e:
print('\ngot exception: %r, terminating' % (e,))

print('\ngot exception: %r, terminating' % (e,))
pool.terminate()
print('pool terminated')
finally:

0 comments on commit 5d0c3ea

Please sign in to comment.