danvk/webdiff — pull request #37 by danvk (2014-11-06 19:51:28+00:00)
Title: Wait half a second before shutting down

This allows subsequent requests to come in, e.g. if the user reloaded the page.
This is tricker than you might expect because the Flask dev server can only be shut down from a request handler.

Fixes #10