Base base;

String downloadURL = _("http://www.arduino.cc/latest.txt");

static final long ONE_DAY = 24 * 60 * 60 * 1000;

public UpdateCheck(Base base) {

Thread thread = new Thread(this);

this.base = base;

thread.start();

}

public void run() {

//System.out.println("checking for updates...");

// generate a random id in case none exists yet

Random r = new Random();

long id = r.nextLong();

String idString = Preferences.get("update.id");

if (idString != null) {

id = Long.parseLong(idString);

} else {

Preferences.set("update.id", String.valueOf(id));

}

try {

String info;

info = URLEncoder.encode(id + "\t" +

PApplet.nf(Base.REVISION, 4) + "\t" +

System.getProperty("java.version") + "\t" +

System.getProperty("java.vendor") + "\t" +

System.getProperty("os.name") + "\t" +

System.getProperty("os.version") + "\t" +

System.getProperty("os.arch"), "UTF-8");

int latest = readInt(downloadURL + "?" + info);

String lastString = Preferences.get("update.last");

long now = System.currentTimeMillis();

if (lastString != null) {

long when = Long.parseLong(lastString);

if (now - when < ONE_DAY) {

// don't annoy the shit outta people

return;

}

}

Preferences.set("update.last", String.valueOf(now));

String prompt =

_("A new version of Arduino is available,\n" +

"would you like to visit the Arduino download page?");

if (base.activeEditor != null) {

if (latest > Base.REVISION) {

Object[] options = { _("Yes"), _("No") };

int result = JOptionPane.showOptionDialog(base.activeEditor,

prompt,

_("Update"),

JOptionPane.YES_NO_OPTION,

JOptionPane.QUESTION_MESSAGE,

null,

options,

options[0]);

if (result == JOptionPane.YES_OPTION) {

Base.openURL(_("http://www.arduino.cc/en/Main/Software"));

}

}

}

} catch (Exception e) {

//e.printStackTrace();

//System.err.println("Error while trying to check for an update.");

}

}

protected int readInt(String filename) throws Exception {

URL url = new URL(filename);

InputStream stream = url.openStream();

InputStreamReader isr = new InputStreamReader(stream);

BufferedReader reader = new BufferedReader(isr);

return Integer.parseInt(reader.readLine());

}