plover/plover — pull request #56 by balshetzer (2012-08-20 16:43:14+00:00)
Title: Fix process lock to be released no matter how plover exits

Before this change, users who used Ctrl-C or other unusual means to exit plover would be unable to restart plover without manually finding a lock file and deleting it.