Fix a deadlock in the JSON loading code in serve-analysis.js.

diff --git a/server/serve-analysis.js b/server/serve-analysis.js
index ce1f89d5ca5bf65ae4f2db26ca4a560822831293..22bc20d337d1585cb99df43e41519d0ff67ac1c5 100644 (file)
--- a/server/serve-analysis.js
+++ b/server/serve-analysis.js
@@ -145,7 +145,7 @@ var reread_file = function(event, filename) {
        if (json_lock == 1) {
                // Already processing; wait a bit.
                json_lock = 2;
-               setTimeout(function() { json_lock = 1; reread_file(event, filename); }, 100);
+               setTimeout(function() { if (json_lock == 2) json_lock = 1; reread_file(event, filename); }, 100);
                return;
        }
        json_lock = 1;