Browse Source

Merge pull request #13768 in DESIGN/design from final/11.0 to release/11.0

* commit 'a0a717ae4d5285f30477f9f4d3cfc9de832ac962':
  REPORT-115816 设计器消息推送问题
release/11.0
superman 9 months ago
parent
commit
6bb44b79e0
  1. 1
      designer-base/src/main/java/com/fr/design/DesignerEnvManager.java

1
designer-base/src/main/java/com/fr/design/DesignerEnvManager.java

@ -1906,6 +1906,7 @@ public class DesignerEnvManager implements XMLReadable, XMLWriter, AsyncXmlReada
.init("jdkHome", (e) -> this.jdkHome = e.getElementValue())
.init("lastBBSTime", DesignerEnvManager.this::readLastBBSTime)
.init("lastBBSNewsTime", DesignerEnvManager.this::readLastBBSNewsTime)
.init("uuid", DesignerEnvManager.this::readUUID)
.init("ActivationKey", DesignerEnvManager.this::readActiveKey)
.init("status", DesignerEnvManager.this::readActiveStatus)
.init(CAS_PARAS, DesignerEnvManager.this::readHttpsParas)

Loading…
Cancel
Save