ensure no busted xml .tree can happen again

1 files changed, 2 insertions, 0 deletions

diff --git a/helpcontent2/helpers/update_tree.pl b/helpcontent2/helpers/update_tree.pl
index 8dc7bf4e98..80befc2d4e 100644
--- a/helpcontent2/helpers/update_tree.pl
+++ b/helpcontent2/helpers/update_tree.pl
@@ -46,6 +46,7 @@ terminate() if ( ! defined $inpath );
 
 my $destpath = $inpath;
 my $with_lang = $ENV{WITH_LANG};
+my $xmllint = $ENV{XMLLINT};
 
 
 # Always use / directory separators
@@ -308,6 +309,7 @@ sub processtreefiles {
                 unlink "$tree_dest/$lng/$tv" ;
                 my $ret=mv $treetmpfile , "$tree_dest/$lng/$tv$inpath" or &terminate("Cannot write to $tree_dest/$lng/$tv$inpath - Error $!");
                 my $ret=mv "$tree_dest/$lng/$tv$inpath" , "$tree_dest/$lng/$tv" or &terminate("Cannot write to $tree_dest/$lng/$tv - Error $!");
+                system("$xmllint --noout --noent $tree_dest/$lng/$tv") == 0 or &terminate("$tree_dest/$lng/$tv is illformed xml (xmllint)" );
             }
       } else {
             &terminate("Cannot write to $tvout");