📄 examples.bat
字号:
@echo off
if not %JAVA_HOME%x==x goto set1
echo JAVA_HOME not set
exit 1
:set1
set JAVA=%JAVA_HOME%\bin\java
if not %OPENJMS_HOME%x==x goto set2
rem OPENJMS_HOME environment variable not set, so default to the parent dir
set OPENJMS_HOME=..
:set2
set POLICY_FILE=%OPENJMS_HOME%\config\openjms.policy
set CP=%OPENJMS_HOME%\build\examples
set CP=%OPENJMS_HOME%\lib\@OPENJMS_CLIENT@;%CP%
set CP=%OPENJMS_HOME%\lib\@JTA@;%CP%
%JAVA% -classpath "%CP%" -Djava.security.manager -Djava.security.policy="%POLICY_FILE%" openjms.examples.%*%
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -