commit 47414a8f9687c7a6d83321976b984296d7045892
author apanchenk <apanchenk> Thu Jul 24 12:43:16 2008 +0000
committer apanchenk <apanchenk> Thu Jul 24 12:43:16 2008 +0000
tree 88958937e08a4bcdd908d734f333fef1c711e879
parent dfd19fe7e5f2083fb77419742ec273847e64fa99

Mixin indexing does not depend on Project Builder - it is performed automatically in the background

plugins/org.eclipse.dltk.ruby.launching/src/org/eclipse/dltk/ruby/internal/launching/RubyGenericInstall.java

diff --git a/plugins/org.eclipse.dltk.ruby.launching/src/org/eclipse/dltk/ruby/internal/launching/RubyGenericInstall.java b/plugins/org.eclipse.dltk.ruby.launching/src/org/eclipse/dltk/ruby/internal/launching/RubyGenericInstall.java
index a67a7e5..50c36e0 100644
--- a/plugins/org.eclipse.dltk.ruby.launching/src/org/eclipse/dltk/ruby/internal/launching/RubyGenericInstall.java
+++ b/plugins/org.eclipse.dltk.ruby.launching/src/org/eclipse/dltk/ruby/internal/launching/RubyGenericInstall.java
@@ -140,10 +140,13 @@
 				} catch (CoreException e) {
 					e.printStackTrace();
 				}
+				lastModified = System.currentTimeMillis();
 			}
 
 			return sources;
 		}
+		
+		long lastModified;
 	}
 
 	private BuiltinsHelper helper = new BuiltinsHelper();
@@ -175,6 +178,11 @@
 		final Map sources = helper.getSources();
 		return (String) sources.get(name);
 	}
+	
+	public long lastModified() {
+		helper.getSources();
+		return helper.lastModified;
+	}
 
 	public String[] getBuiltinModules() {
 		final Map sources = helper.getSources();