23 lines
521 B
Batchfile
23 lines
521 B
Batchfile
@echo off
|
|
|
|
set "NOPAUSE=true"
|
|
set cli_file=%2
|
|
set working_dir=%3
|
|
|
|
cd %working_dir%
|
|
echo working_dir: %cd%
|
|
|
|
if "%4"=="-Dserver.config" (
|
|
set server_config=%5
|
|
) else (
|
|
set server_config=standalone.xml
|
|
)
|
|
echo server.config=%server_config%
|
|
echo cli_file=%cli_file%
|
|
|
|
if "%4"=="-Djboss.server.config.dir" (
|
|
echo jboss.server.config.dir=%5
|
|
jboss-cli.bat --file=%cli_file% -Dserver.config=%server_config% -Djboss.server.config.dir=%5
|
|
) else (
|
|
jboss-cli.bat --file=%cli_file% -Dserver.config=%server_config%
|
|
)
|