mirror of
https://github.com/eclipse-cdt/cdt
synced 2025-07-09 10:05:24 +02:00
Fix server.bat operation with /?
This commit is contained in:
parent
200fec2980
commit
8ff956ab0b
2 changed files with 4 additions and 4 deletions
|
@ -9,8 +9,8 @@ setlocal
|
||||||
set PORT=%1
|
set PORT=%1
|
||||||
set TIMEOUT=%2
|
set TIMEOUT=%2
|
||||||
set TICKET=%3
|
set TICKET=%3
|
||||||
if xxx%1 == xxx set PORT=4033
|
if "%1" == "" set PORT=4033
|
||||||
if xxx%2 == xxx set TIMEOUT=120000
|
if "%2" == "" set TIMEOUT=120000
|
||||||
|
|
||||||
if "%1" == "?" goto usage
|
if "%1" == "?" goto usage
|
||||||
if "%1" == "/?" goto usage
|
if "%1" == "/?" goto usage
|
||||||
|
@ -28,7 +28,7 @@ GOTO done
|
||||||
CALL setup.bat
|
CALL setup.bat
|
||||||
|
|
||||||
:doneSetup
|
:doneSetup
|
||||||
if xxx%3 == xxx goto runNoTicket
|
if "%3" == "" goto runNoTicket
|
||||||
@echo on
|
@echo on
|
||||||
java -DA_PLUGIN_PATH=%A_PLUGIN_PATH% -DDSTORE_SPIRIT_ON=true org.eclipse.dstore.core.server.Server %PORT% %TIMEOUT% %TICKET%
|
java -DA_PLUGIN_PATH=%A_PLUGIN_PATH% -DDSTORE_SPIRIT_ON=true org.eclipse.dstore.core.server.Server %PORT% %TIMEOUT% %TICKET%
|
||||||
goto done
|
goto done
|
||||||
|
|
Loading…
Add table
Reference in a new issue