1@echo off 2rem ------------------------------------------------------------------------- 3rem Vault tool script for Windows 4rem ------------------------------------------------------------------------- 5rem 6rem A tool for management securing sensitive strings 7 8@if not "%ECHO%" == "" echo %ECHO% 9@if "%OS%" == "Windows_NT" setlocal 10 11if "%OS%" == "Windows_NT" ( 12 set "DIRNAME=%~dp0%" 13) else ( 14 set DIRNAME=.\ 15) 16 17pushd "%DIRNAME%.." 18set "RESOLVED_JBOSS_HOME=%CD%" 19popd 20 21if "x%JBOSS_HOME%" == "x" ( 22 set "JBOSS_HOME=%RESOLVED_JBOSS_HOME%" 23) 24 25pushd "%JBOSS_HOME%" 26set "SANITIZED_JBOSS_HOME=%CD%" 27popd 28 29if /i "%RESOLVED_JBOSS_HOME%" NEQ "%SANITIZED_JBOSS_HOME%" ( 30 echo. 31 echo WARNING: JBOSS_HOME may be pointing to a different installation - unpredictable results may occur. 32 echo. 33 echo JBOSS_HOME: "%JBOSS_HOME%" 34 echo. 35) 36 37rem Setup JBoss specific properties 38if "x%JAVA_HOME%" == "x" ( 39 set JAVA=java 40 echo JAVA_HOME is not set. Unexpected results may occur. 41 echo Set JAVA_HOME to the directory of your local JDK to avoid this message. 42) else ( 43 set "JAVA=%JAVA_HOME%\bin\java" 44) 45 46rem Find jboss-modules.jar, or we can't continue 47set "JBOSS_RUNJAR=%JBOSS_HOME%\jboss-modules.jar" 48if not exist "%JBOSS_RUNJAR%" ( 49 echo Could not locate "%JBOSS_RUNJAR%". 50 echo Please check that you are in the bin directory when running this script. 51 goto END 52) 53 54rem Set default module root paths 55if "x%JBOSS_MODULEPATH%" == "x" ( 56 set "JBOSS_MODULEPATH=%JBOSS_HOME%\modules" 57) 58 59rem Display our environment 60echo ========================================================================= 61echo. 62echo JBoss Vault Tool 63echo. 64echo JBOSS_HOME: "%JBOSS_HOME%" 65echo. 66echo JAVA: "%JAVA%" 67echo. 68echo JAVA_OPTS: "%JAVA_OPTS%" 69echo. 70echo ========================================================================= 71echo. 72 73"%JAVA%" %JAVA_OPTS% ^ 74 -jar "%JBOSS_RUNJAR%" ^ 75 -mp "%JBOSS_MODULEPATH%" ^ 76 org.jboss.as.vault-tool ^ 77 %* 78 79:END