Package org.eclipse.core.resources

Examples of org.eclipse.core.resources.IWorkspaceRoot.refreshLocal()


      getThread().join();
      outPutHandler.outPutEnd();
     
      IWorkspaceRoot root = ResourcesPlugin.getWorkspace().getRoot();
      try {
        root.refreshLocal(IWorkspaceRoot.DEPTH_INFINITE, null);
      } catch (CoreException e) {
        e.printStackTrace();
      }
    } catch (InterruptedException iex) {
    }
View Full Code Here


    IProgressMonitor monitor = getMonitor();
   
    // create a new project automatically
    IWorkspace workspace = ResourcesPlugin.getWorkspace();
    IWorkspaceRoot root = workspace.getRoot();
    root.refreshLocal(5, monitor);
    project = root.getProject(getProjectName());
    // delete any existing ones
    if (project.exists()) {
      project.delete(true, monitor);
    }
View Full Code Here

                        //we cannot even get the 1st part... let's do sync
                        long currentTimeMillis = System.currentTimeMillis();
                        if (doFullSynchAt == -1 || currentTimeMillis > doFullSynchAt) {
                            doFullSynchAt = currentTimeMillis + (60 * 2 * 1000); //do a full synch at most once every 2 minutes
                            try {
                                root.refreshLocal(p.segmentCount() + 1, null);
                            } catch (CoreException e) {
                                //ignore
                            }
                        }

View Full Code Here

        if(settingsRoot.toFile().isDirectory())
          if(renameCloudsmithSettings(settingsRoot))
            changed = true;
      }
      if(changed)
        workspace.refreshLocal(IResource.DEPTH_INFINITE, new NullProgressMonitor());
    }
    catch(Exception e) {
      e.printStackTrace();
    }
  }
View Full Code Here

TOP
Copyright © 2018 www.massapi.com. All rights reserved.
All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.