/* (non-Javadoc)
* @see org.davinci.server.user.IUser#modifyLibrary(java.lang.String, java.lang.String, java.lang.String, boolean)
*/
public void modifyLibrary(String id, String version, String base, boolean installed, boolean required) throws IOException {
LibrarySettings libs = this.getLibSettings(base);
if (!installed) {
libs.removeLibrary(id, version, base);
} else {
String defaultRoot = ServerManager.getServerManager().getLibraryManager().getDefaultRoot(id, version);
libs.addLibrary(id, version, id, defaultRoot, required?"true":"false");
}
ILibraryFinder[] finders = this.getFinders(base);
for(int i=0;i<finders.length;i++){
finders[i].librarySettingsChanged(libs.allLibs());
}
rebuildWorkspace();
}