Restore accidentally-deleted mongo restart code.

Thanks, cli-test.sh!