Reloading diff kills the web server

[danvk]

webdiff listens for the onbeforeunload event and kills the web server when it fires. This usually corresponds to closing the web server, so this behavior makes sense. But if you reload, the event also fires and the reload will fail.

A solution might be to wait 0.5 seconds before killing the server.

[ryan-williams]

I'm not sure I understand what killing of the web server is being described here; do you have repro steps for this?

[danvk]

Sure -- run git webdiff to open up a diff tab in your browser. Now hit ⌘R to reload the tab. The server has shut down because it thought you closed the tab.

[danvk]

This is going to be quite challenging w/o switching away from the Flask dev server. werkzeug.server.shutdown has to be called from a request handler to do anything, and request handlers must be synchronous w/ the dev server. See this Q/A for details.