# HG changeset patch
# User Nicholas Jillings <n.g.r.jillings@se14.qmul.ac.uk>
# Date 1515759387 0
# Node ID 8a30d54bd4e2bfddc9d7633da0e9094809adb958
# Parent  31a7a34bad6b9da975864bf8fd4ea21d2971bfc3
WIP for #262

diff -r 31a7a34bad6b -r 8a30d54bd4e2 php/save.php
--- a/php/save.php	Tue Jan 09 16:27:28 2018 +0000
+++ b/php/save.php	Fri Jan 12 12:16:27 2018 +0000
@@ -79,7 +79,7 @@
     $sn1 = findNodeByAttribute($n1, "location", "pre");
     $sn2 = findNodeByAttribute($n2, "location", "pre");
     if ($sn1 != 0) {
-        if ($sn2 != 0 && $sn2.getAttribute("state") != "complete") {
+        if ($sn2 != 0) {
             $saved_root->removeChild($sn2);
             $sn2 = 0;
         }
@@ -92,7 +92,7 @@
     $sn1 = findNodeByAttribute($n1, "location", "post");
     $sn2 = findNodeByAttribute($n2, "location", "post");
     if ($sn1 != 0) {
-        if ($sn2 != 0 && $sn2.getAttribute("state") != "complete") {
+        if ($sn2 != 0) {
             $saved_root->removeChild($sn2);
             $sn2 = 0;
         }
@@ -114,7 +114,7 @@
         $ref = $page->getAttribute("ref");
         if (!empty($ref)) {
             $pn2 = findNodeByAttribute($n2, "ref", $ref);
-            if ($pn2 != 0 && $pn2.getAttribute("state") != "complete") {
+            if ($pn2 != 0) {
                 $saved_root->removeChild($pn2);
                 $pn2 = 0;
             }