# HG changeset patch
# User Robert Casties <casties@mpiwg-berlin.mpg.de>
# Date 1565625916 -7200
# Node ID 71465cead59c18da8e1888b8bb821dbe306fa304
# Parent  484be3266e540da400185f362218f2cbfb937245
patch "ALIAS" attribute of ALIAS type in XML export.

diff -r 484be3266e54 -r 71465cead59c src/main/java/org/mpi/openmind/repository/utils/OM4StreamWriter.java
--- a/src/main/java/org/mpi/openmind/repository/utils/OM4StreamWriter.java	Thu Aug 08 19:13:29 2019 +0200
+++ b/src/main/java/org/mpi/openmind/repository/utils/OM4StreamWriter.java	Mon Aug 12 18:05:16 2019 +0200
@@ -376,6 +376,10 @@
         writer.writeStartElement(XMLUtil.ATTRIBUTE);
 
         String name = att.getName();
+        if (name.equals("ALIAS")) {
+        	name = "alias"; // :-(
+        }
+        
         /*
          * write XML attributes
          */