pmrep: properly close pmi log
commit46cd5138ada5ac46f28b68d4c84eeb3efb054435
authorMarko Myllynen <myllynen@redhat.com>
Wed, 16 Dec 2015 20:56:35 +0000 (17 07:56 +1100)
committerNathan Scott <nathans@redhat.com>
Wed, 16 Dec 2015 20:56:35 +0000 (17 07:56 +1100)
tree2b113be39b0066f3cdd11cfb4b10e43f81b31682
parent9cc8e1e4af9dd7aed404ef989ed71b80a5bfef5f
pmrep: properly close pmi log

This was handled internally, e.g. in case of Ctrl-C, but is now
made explicit.
src/pmrep/pmrep.py