Update batch to work with filepaths with spaces

This commit is contained in:
José Costa Teixeira
2020-01-17 10:12:04 +01:00
parent d45095f26a
commit cfb1bf063b
2 changed files with 6 additions and 6 deletions

View File

@@ -1,6 +1,6 @@
@ECHO OFF
SET publisher_jar=org.hl7.fhir.publisher.jar
SET input_cache_path=%CD%\input-cache\
SET input_cache_path=%CD%\input-cache
ECHO Checking internet connection...
PING tx.fhir.org -n 1 -w 1000 | FINDSTR TTL && GOTO isonline
@@ -17,9 +17,9 @@ SET txoption=
SET JAVA_TOOL_OPTIONS=-Dfile.encoding=UTF-8
IF EXIST "%input_cache_path%\%publisher_jar%" (
JAVA -jar %input_cache_path%\%publisher_jar% -ig ig.ini %txoption% %*
JAVA -jar "%input_cache_path%\%publisher_jar%" -ig ig.ini %txoption% %*
) ELSE If exist "..\%publisher_jar%" (
JAVA -jar ..\%publisher_jar% -ig ig.ini %txoption% %*
JAVA -jar "..\%publisher_jar%" -ig ig.ini %txoption% %*
) ELSE (
ECHO IG Publisher NOT FOUND in input-cache or parent folder. Please run _updatePublisher. Aborting...
)