package jrdesktop.viewer;
import java.io.File;
import java.io.FileInputStream;
import java.io.FileOutputStream;
import java.util.Properties;
import jrdesktop.main;
/**
* Config.java
* @author benbac
*/
public class Config {
public static String server_address = "127.0.0.1";
public static int server_port = 6666;
public static void loadConfiguration() {
if (new File(main.VIEWER_CONFIG_FILE).canRead())
try {
Properties properties = new Properties();
properties.load(new FileInputStream(main.VIEWER_CONFIG_FILE));
server_address = properties.get("server-address").toString();
server_port = Integer.valueOf(properties.get("server-port").toString());
}
catch (Exception e) {
e.getStackTrace();
}
else
storeConfiguration();
}
public static void storeConfiguration () {
try {
new File(main.VIEWER_CONFIG_FILE).createNewFile();
Properties properties = new Properties();
properties.put("server-address", server_address);
properties.put("server-port", String.valueOf(server_port));
properties.store(new FileOutputStream(main.VIEWER_CONFIG_FILE),
"jrdesktop viewer configuration file");
} catch (Exception e) {
e.getStackTrace();
}
}
public static void SetConfiguration(String Address, int Port) {
server_address = Address;
server_port = Port;
storeConfiguration();
}
}