Quick fix for ping not working over ipv6

This commit is contained in:
Jose Costa Teixeira 2020-06-16 20:53:16 +02:00 committed by GitHub
parent a9a19ad265
commit a52de5f790
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -3,7 +3,7 @@ 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... ECHO Checking internet connection...
PING tx.fhir.org -n 1 -w 1000 | FINDSTR TTL && GOTO isonline PING tx.fhir.org -4 -n 1 -w 1000 | FINDSTR TTL && GOTO isonline
ECHO We're offline... ECHO We're offline...
SET txoption=-tx n/a SET txoption=-tx n/a
GOTO igpublish GOTO igpublish
@ -24,4 +24,4 @@ IF EXIST "%input_cache_path%\%publisher_jar%" (
ECHO IG Publisher NOT FOUND in input-cache or parent folder. Please run _updatePublisher. Aborting... ECHO IG Publisher NOT FOUND in input-cache or parent folder. Please run _updatePublisher. Aborting...
) )
PAUSE PAUSE