📄 messages.properties
字号:
ERR_DUPLICATE_SERVER_NAME_1 =The server name "{0}" is configured duplicate.
ERR_CONFIG_FROZEN_0 =Site configuration has been frozen and can not longer be changed.
INIT_SITE_ROOT_ADDED_1 =. Site root added : {0}
INIT_START_SITE_CONFIG_0 =. Site configuration : starting
INIT_NUM_SITE_ROOTS_CONFIGURED_1 =. Site roots configured: {0}
INIT_NO_ROOT_FOLDER_1 =Root folder for site {0} does not exist (ignoring this site entry)
INIT_NO_ROOT_FOLDER_DEFAULT_SITE_1 =Root folder for default site {0} does not exist (setting default site root to "/")
INIT_DEFAULT_SITE_ROOT_0 =. Site root default : (unconfigured)
INIT_DEFAULT_SITE_ROOT_1 =. Site root default : {0}
INIT_WORKPLACE_SITE_0 =. Site of workplace : (unconfigured)
INIT_WORKPLACE_SITE_1 =. Site of workplace : {0}
LOG_MATCHING_REQUEST_TO_SITE_2 =Matching request [{0}] to site {1}
LOG_READ_SITE_PROP_FAILED_0 =Error reading site properties
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -