Ejemplo n.º 1
0
 public final void setResourceAsProperties(String sName, Properties p) {
   if (p == null) {
     setResource(sName, 0, null); // texto
   } else {
     try {
       ByteArrayOutputStream o = new ByteArrayOutputStream();
       p.storeToXML(o, AppLocal.APP_NAME, "UTF8");
       setResource(sName, 0, o.toByteArray()); // El texto de las propiedades
     } catch (IOException e) { // no deberia pasar nunca
     }
   }
 }
  private Properties writeDefaultDesktopAgentPropertiesFile(File objPropertiesFile)
      throws InvalidPropertiesFormatException, IOException {
    Properties tempProps = new Properties();
    FileOutputStream fos = new FileOutputStream(objPropertiesFile);

    tempProps.put("desktop_agent_left", "0");
    tempProps.put("desktop_agent_top", "0");
    tempProps.put("desktop_agent_width", "300");
    tempProps.put("desktop_agent_height", "450");
    tempProps.put("desktop_agent_use_custom_window_controls", "false");
    tempProps.put("desktop_agent_background_color", "808080");
    tempProps.put("desktop_agent_buttons_background_color", "808080");

    tempProps.put("agents_directory", "Desktop Agent Agents");
    tempProps.put("number_of_agents", "1");
    tempProps.put("agent_files", "GreetingAgent.agent");

    tempProps.storeToXML(fos, "Desktop Agent Properties File", "UTF-8");

    return tempProps;
  }
 public void writeProperties() throws InvalidPropertiesFormatException, IOException {
   FileOutputStream fos = new FileOutputStream(propertiesFile);
   properties.storeToXML(fos, "Desktop Agent Properties File", "UTF-8");
 }