mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 15:19:59 +07:00
Zero tolerance warning
GitOrigin-RevId: 5d6e37cdfbebcc560e9698c52b82d95f4f524c0e
This commit is contained in:
committed by
intellij-monorepo-bot
parent
524753d7c0
commit
56cd217315
@@ -94,8 +94,7 @@ public final class BuiltInServerOptions implements PersistentStateComponent<Buil
|
||||
|
||||
public static void onBuiltInServerPortChanged() {
|
||||
CustomPortServerManager.EP_NAME.forEachExtensionSafe(extension -> {
|
||||
CustomPortServerManagerBase baseManager = (CustomPortServerManagerBase) extension;
|
||||
if (baseManager != null) {
|
||||
if (extension instanceof CustomPortServerManagerBase baseManager) {
|
||||
baseManager.portChanged();
|
||||
}
|
||||
});
|
||||
|
||||
Reference in New Issue
Block a user