📄 jndi.properties
字号:
java.naming.factory.initial=com.evermind.server.rmi.RMIInitialContextFactoryjava.naming.security.principal=adminjava.naming.security.credentials=welcomejava.naming.provider.url=ormi://127.0.0.1:23791/vsm#To run Admin client from JDeveloper, uncomment following line#java.naming.provider.url=ormi://localhost:23892/current-workspace-app#For JBoss#java.naming.factory.initial=org.jnp.interfaces.NamingContextFactory#java.naming.factory.url.pkgs=org.jboss.naming:org.jnp.interfaces#java.naming.provider.url=jnp://localhost:1099
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -