# HG changeset patch # User Nicholas Jillings # Date 1467882275 -3600 # Node ID e5b205b9210909e7c498c47fcd9612d335e6c3c3 # Parent 49ceb4d0f967c9cc77ce783900914a3f454844ad Hotfix. Completed results should be closed with state="complete" diff -r 49ceb4d0f967 -r e5b205b92109 js/core.js --- a/js/core.js Thu Jun 23 12:57:46 2016 +0100 +++ b/js/core.js Thu Jul 07 10:04:35 2016 +0100 @@ -3226,6 +3226,7 @@ this.update(); } this.state = 1; + this.root.setAttribute("state","complete"); return this.root; }; }