MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-10-01 19:02:13 +07:00
Code Issues Packages Projects Releases Wiki Activity

[platform] ignores empty 'ide.no.platform.update' value

Browse Source
This commit is contained in:
Roman Shevchenko
2018-04-24 16:16:19 +02:00
parent c3a3e04cb7
commit 15adc3ebbe
1 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-impl/src/com/intellij/openapi/updateSettings/impl/UpdateSettings.java
+2 -1
View File
@@ -5,6 +5,7 @@ import com.intellij.openapi.application.ApplicationInfo;
import com.intellij.openapi.application.PathManager;
import com.intellij.openapi.components.*;
import com.intellij.openapi.updateSettings.UpdateStrategyCustomization;
import com.intellij.openapi.util.text.StringUtil;
import com.intellij.util.containers.ContainerUtil;
import com.intellij.util.net.NetUtils;
import org.jetbrains.annotations.NotNull;
@@ -31,7 +32,7 @@ public class UpdateSettings implements PersistentStateComponent<UpdateOptions>,
return ServiceManager.getService(UpdateSettings.class);
}
private final String myPackageManager = System.getProperty("ide.no.platform.update");
private final String myPackageManager = StringUtil.nullize(System.getProperty("ide.no.platform.update"), true);
private UpdateOptions myState = new UpdateOptions();
public boolean isPlatformUpdateEnabled() {