[RPC] Better handle tempdir if subprocess killed. (#3574)
authorBalint Cristian <cristian.balint@gmail.com>
Fri, 19 Jul 2019 16:22:46 +0000 (19:22 +0300)
committerTianqi Chen <tqchen@users.noreply.github.com>
Fri, 19 Jul 2019 16:22:46 +0000 (09:22 -0700)
commit6b5fbdad97708938f6fc643f7afab83693df24d8
treec378a010850a8601eb486658f798d57925fa2943
parentb0481c82489c2c6e69c549d3423a75fd807cf15e
[RPC] Better handle tempdir if subprocess killed. (#3574)
python/tvm/contrib/util.py
python/tvm/module.py
python/tvm/rpc/server.py