Sha256: 042b78feedf7c263983b136e237d1f6d7d976580c94e14419b2eb5ba281a8211
Contents?: true
Size: 750 Bytes
Versions: 5
Compression:
Stored size: 750 Bytes
Contents
@echo off
@if not "%ECHO%" == "" echo %ECHO%
@if "%OS%" == "Windows_NT" setlocal
set DIRNAME=.\
if "%OS%" == "Windows_NT" set DIRNAME=%~dp0%
set PROGNAME=run.bat
if "%OS%" == "Windows_NT" set PROGNAME=%~nx0%
if "x%JAVA_HOME%" == "x" (
set JAVA=java
echo JAVA_HOME is not set. Unexpected results may occur.
echo Set JAVA_HOME to the directory of your local JDK to avoid this message.
) else (
set "JAVA=%JAVA_HOME%\bin\java"
)
set JBOSS_HOME=%DIRNAME%\..
rem Execute the command
"%JAVA%" %JAVA_OPTS% ^
"-Djava.endorsed.dirs=%JBOSS_HOME%/modules/com/sun/xml/bind/main;%JBOSS_HOME%/modules/javax/xml/ws/api/main" ^
-jar "%JBOSS_HOME%\jboss-modules.jar" ^
-mp "%JBOSS_HOME%\modules" ^
org.jboss.ws.tools.wsprovide ^
%*
Version data entries
5 entries across 5 versions & 1 rubygems