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

Chris Ridd
20.19.2015 e9d8e51279f417f2f4948210b1cd1484cadf0bda
opendj-server-legacy/src/main/java/org/opends/server/tools/upgrade/Upgrade.java
@@ -403,6 +403,10 @@
        deleteFile(new File(binDirectory, "dsframework")),
        deleteFile(new File(batDirectory, "dsframework.bat")));
    /** See OPENDJ-1322 and OPENDJ-1067 */
    register("2.7.0.9206",
        rerunJavaPropertiesTool(INFO_UPGRADE_TASK_9206_SUMMARY.get()));
    /*
     * All upgrades will refresh the server configuration schema and generate
     * a new upgrade folder.