📄 startsp.bat
字号:
@echo off
echo Deleting old logs and tmp files
rmdir /s /q tmp\reggie_log
rmdir /s /q tmp\txn_log
del /q log\*
SET SERVER_NAME=localhost
SET JINI_HOME=c:\java\jini1_2
echo WebServer
start java -jar %JINI_HOME%\lib\tools.jar -dir %JINI_HOME%\lib -trees -verbose
echo RMID
start rmid -J-Djava.security.policy=%JINI_HOME%\policy\policy.all
echo lookup
java -jar %JINI_HOME%\lib\reggie.jar http://%SERVER_NAME%:8080/reggie-dl.jar %JINI_HOME%\example\lookup\policy.all tmp\reggie_log public
echo Transaction Manager
java -jar -Djava.security.policy=%JINI_HOME%\policy\policy.all -Dcom.sun.jini.mahalo.managerName=TransactionManager %JINI_HOME%\lib\mahalo.jar http://%SERVER_NAME%:8080/mahalo-dl.jar %JINI_HOME%\policy\policy.all tmp\txn_log public
echo JavaSpace
java -jar -Djava.security.policy=%JINI_HOME%\policy\policy.all -Djava.rmi.server.codebase=http://%SERVER_NAME%:8080/outrigger-dl.jar -Dcom.sun.jini.outrigger.spaceName=JavaSpaces %JINI_HOME%\lib\transient-outrigger.jar public
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -