ProjectDeployer - make restart timer interruptable.

unfoldingWord-dev · Aug 8, 2017 · 88a3324 · 88a3324
1 parent a0b687e
commit 88a3324
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/libraries/door43_tools/project_deployer.py b/libraries/door43_tools/project_deployer.py
@@ -126,7 +126,7 @@ def deploy_revision_to_door43(self, build_log_key):
                     content += '<h1 class="conversion-requested">{0}</h1>'.format(build_log['message'])
                     content += '<p><i>No content is available to show for {0} yet.</i></p>'.format(repo_name)
                     content += """
-                    <script type="text/javascript">setTimeout(function(){window.location.reload(1);}, 10000);</script>
+                    <script type="text/javascript">CONV_REQUESTED=setTimeout(function(){window.location.reload(1);}, 10000);</script>
                     """
                 html = """
                     <html lang="en">