jndi.properties
来自「精通RMI 这是RMI的入门基础 特别对刚开始学RMI的同胞们很有帮助」· PROPERTIES 代码 · 共 6 行
PROPERTIES
6 行
# This tells JNDI that we are using the RMI registry as naming service provider
java.naming.factory.initial=com.sun.jndi.rmi.registry.RegistryContextFactory
# Change this to point to your host name
java.naming.provider.url=rmi://localhost
⌨️ 快捷键说明
复制代码Ctrl + C
搜索代码Ctrl + F
全屏模式F11
增大字号Ctrl + =
减小字号Ctrl + -
显示快捷键?