mozilla/browserid — pull request #2808 by jrgm (2012-11-30 04:22:24+00:00)
Title: if PERSONA_WITH_COVER, do a graceful shutdown so cover can generate .coverage_data

This is the PR for mozilla/browserid#2807. Does what the summary says and otherwise has no effect if PERSONA_WITH_COVER is not set.