/**
* Set the revision of a versioned file to the given revision, without altering the file contents.
* (This is a way to "update" but keep the current file contents. The server doesn't need to be
* contacted).
*/
public synchronized void setFileVersion(File file, String revision) throws IOException {
Entry cvsEntry = adminHandler.getEntry(file);
if (cvsEntry != null) {
cvsEntry.setRevision(revision);
} else {
cvsEntry = new Entry();
cvsEntry.setName(file.getName());
cvsEntry.setRevision(revision);
}
adminHandler.setEntry(file, cvsEntry);
}
