mozilla/browserid — pull request #3480 by jrgm (2013-05-31 05:59:06+00:00)
Title: slightly delay shutdown of run_locally.js daemons to avoid shutdown races

Fixes https://github.com/mozilla/browserid/issues/3465