MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

userdata is better than marker file

Browse Source
This commit is contained in:
peter
2012-01-31 20:44:46 +01:00
parent fd49897849
commit c49a318bd0
2 changed files with 6 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files
jps/jps-builders/src/org/jetbrains/jps/incremental/groovy/GroovyBuilder.java
+5 -4
View File
@@ -2,6 +2,7 @@ package org.jetbrains.jps.incremental.groovy;
import com.intellij.openapi.util.Comparing;
import com.intellij.openapi.util.Key;
import com.intellij.openapi.util.io.FileUtil;
import com.intellij.util.ArrayUtil;
import com.intellij.util.Consumer;
@@ -32,6 +33,7 @@ import java.util.*;
*/
public class GroovyBuilder extends ModuleLevelBuilder {
public static final String BUILDER_NAME = "groovy";
private static final Key<Boolean> CHUNK_REBUILD_ORDERED = Key.<Boolean>create("CHUNK_REBUILD_ORDERED");
private final boolean myForStubs;
private final String myBuilderName;
@@ -92,11 +94,10 @@ public class GroovyBuilder extends ModuleLevelBuilder {
});
if (myForStubs && handler.shouldRetry()) {
File marker = new File(moduleOutput, "groovy_stubs_retry");
if (marker.exists()) {
FileUtil.delete(marker);
if (CHUNK_REBUILD_ORDERED.get(context) != null) {
CHUNK_REBUILD_ORDERED.set(context, null);
} else {
FileUtil.createIfDoesntExist(marker);
CHUNK_REBUILD_ORDERED.set(context, Boolean.TRUE);
exitCode = ExitCode.CHUNK_REBUILD_REQUIRED;
return exitCode;
}
platform/util/src/com/intellij/openapi/util/Key.java
+1 -1
View File
@@ -82,7 +82,7 @@ public class Key<T> {
return get(holder) != null;
}
public void set(@Nullable UserDataHolder holder, T value) {
public void set(@Nullable UserDataHolder holder, @Nullable T value) {
if (holder != null) {
holder.putUserData(this, value);
}