pioneerspacesim/pioneer — pull request #1824 by robn (2012-12-16 22:41:54+00:00)
Title: Mission fixes

* Remove the old `Player.*Mission` API.
* Use `pairs` instead of `ipairs` when building the mission list in the infoview, so we don't stop at a removed mission.
* Try to be slightly safer about obtaining mission keys.