?? startreggie.cmd
字號:
@echo off
set HTTP_ADDRESS=172.16.1.3:8080
set JINI_HOME=c:\files\jini1_2
set HTTP_HOME=c:\services\logs
set GROUPS=public
echo P2P Unleashed
echo -------------------------------------------
echo Jini install directory %JINI_HOME%
echo Web server %HTTP_ADDRESS%
echo Default group %GROUPS%
echo -------------------------------------------
java -jar -Djava.security.policy=%JINI_HOME%\policy\policy.all %JINI_HOME%\lib\reggie.jar http://%HTTP_ADDRESS%/reggie-dl.jar %JINI_HOME%\policy\policy.all %HTTP_HOME%\services\logs\reggie_log %GROUPS%
?? 快捷鍵說明
復(fù)制代碼
Ctrl + C
搜索代碼
Ctrl + F
全屏模式
F11
切換主題
Ctrl + Shift + D
顯示快捷鍵
?
增大字號
Ctrl + =
減小字號
Ctrl + -