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

jvergara
18.01.2008 8e56a3541e4d0780a59cec88c6e8770565224180
opends/src/guitools/org/opends/guitools/controlpanel/ui/JavaPropertiesPanel.java
@@ -35,7 +35,6 @@
import java.io.BufferedReader;
import java.io.BufferedWriter;
import java.io.File;
import java.io.FileInputStream;
import java.io.FileReader;
import java.io.FileWriter;
import java.io.IOException;
@@ -417,29 +416,30 @@
      public Void processBackgroundTask() throws Throwable
      {
        String propertiesFile = getPropertiesFile();
        FileInputStream fs = null;
        Properties properties = new Properties();
        BufferedReader reader = null;
        try
        {
          fs = new FileInputStream(propertiesFile);
          properties.load(fs);
          reader = new BufferedReader(new FileReader(propertiesFile));
          JavaPropertiesTool.updateProperties(reader, properties);
        }
        catch (Throwable t)
        {
        }
        finally
        {
          if (fs != null)
          if (reader != null)
          {
            try
            {
              fs.close();
              reader.close();
            }
            catch (Throwable t)
            {
            }
          }
        }
        String[] scripts =
        {
            "start-ds", "import-ldif.offline", "backup.online", "base64",