mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git

matthew_swift
25.03.2006 09fcb137f6d46e0c32f03b0313ac445a2ee7ecc3
opends/src/server/org/opends/server/core/SchemaConfigManager.java
@@ -933,8 +933,6 @@
            {
              attrType = attrTypeSyntax.decodeAttributeType(v.getValue(),
                                                            schema);
              attrType.getExtraProperties().remove(SCHEMA_PROPERTY_FILENAME);
              attrType.setSchemaFile(schemaFile);
            }
            catch (DirectoryException de)
            {