diff options
| author | George Fraser <george@fivetran.com> | 2019-01-03 23:01:53 -0800 |
|---|---|---|
| committer | George Fraser <george@fivetran.com> | 2019-01-03 23:01:53 -0800 |
| commit | 6eba663e82a9903a79e329d9f75b77a7cd75255b (patch) | |
| tree | eae515cfbe670529d96debc0a06606f9eced0833 /src/main/java/org/javacs/Profiler.java | |
| parent | 1a4d6fb2051fd02f95bf52dcfbe997ef71ef7095 (diff) | |
| download | java-language-server-6eba663e82a9903a79e329d9f75b77a7cd75255b.zip | |
Prune reference and definition searches
Diffstat (limited to 'src/main/java/org/javacs/Profiler.java')
| -rw-r--r-- | src/main/java/org/javacs/Profiler.java | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/main/java/org/javacs/Profiler.java b/src/main/java/org/javacs/Profiler.java index 7285732..742ee35 100644 --- a/src/main/java/org/javacs/Profiler.java +++ b/src/main/java/org/javacs/Profiler.java @@ -16,6 +16,7 @@ class Profiler implements TaskListener { public void started(TaskEvent e) { started.put(e.getKind(), Instant.now()); files.add(e.getSourceFile().toUri()); + // TODO log file name when we compile something that wasn't in the batch } @Override |