Allow use of "unplugged" without crashing (#1362)

* update mps

* stop crashing when unplugged

* formatting fixes
This commit is contained in:
Jeff Kaufman
2017-01-19 13:48:01 -05:00
committed by GitHub
parent 8a0b080229
commit f78058b6c4
2 changed files with 15 additions and 13 deletions