Method readInt

app/src/processing/app/UpdateCheck.java:197–203

(String filename)

  protected int readInt(String filename) throws IOException {
    URL url = new URL(filename);
    InputStream stream = url.openStream();
    InputStreamReader isr = new InputStreamReader(stream);
    BufferedReader reader = new BufferedReader(isr);
    return Integer.parseInt(reader.readLine());
  }


  static public boolean isAllowed() {