// run.
return null;
}
// Update the highest version of GWT that has been run if we are later.
GwtVersion highestRunVersion = new GwtVersion(prefs.get(
HIGHEST_RUN_VERSION, null));
if (myVersion.compareTo(highestRunVersion) > 0) {
highestRunVersion = myVersion;
prefs.put(HIGHEST_RUN_VERSION, highestRunVersion.toString());
}
// Are we up to date already?
//
if (highestRunVersion.compareTo(serverVersion) >= 0) {
// Yes, we are.
//
branch.log(CHECK_INFO, "Server version (" + serverVersion
+ ") is not newer than " + highestRunVersion);
return null;