# HG changeset patch # User Nicholas Jillings # Date 1467882275 -3600 # Node ID 496fde335890ac2691f1c066422945bf8fa22679 # Parent af42b5492f46dfbb5ce1a7974ecd5316c1c0429a Hotfix. Completed results should be closed with state="complete" diff -r af42b5492f46 -r 496fde335890 js/core.js --- a/js/core.js Thu Jun 23 13:47:43 2016 +0100 +++ b/js/core.js Thu Jul 07 10:04:35 2016 +0100 @@ -3397,6 +3397,7 @@ this.update(); } this.state = 1; + this.root.setAttribute("state","complete"); return this.root; }; }