Applied fix for downloading files via curl

This commit is contained in:
Glen De Cauwsemaecker 2014-04-11 02:33:13 +02:00
parent 0d2323fce6
commit 9705f5f0a5
2 changed files with 2 additions and 2 deletions
scripts/windows/coco-dev-setup/batch/scripts

View file

@ -21,7 +21,7 @@ call get_extension %2 download_extension
call get_local_text install_process_downloading install process downloading
echo %1 !install_process_downloading!
set "install_file=!temp_directory!%1.!download_extension!"
%curl_app% -k %2 -o !install_file!
start /wait cmd.exe /c "TITLE %1 !install_process_downloading! && %curl_app% -k -m 10800 --retry 100 -o !install_file! %2"
if "%download_extension%"=="zip" (
set "package_path=!temp_directory!%1\"

View file

@ -20,7 +20,7 @@ cd /D %~1
start cmd /c "TITLE MongoDB - %npm_close% & mongod --setParameter textSearchEnabled=true --dbpath %~1"
%work_directory%\%curl_app% -k %database_backup% -o dump.tar.gz
start /wait cmd.exe /c "TITLE downloading database backup... && %work_directory%\%curl_app% -k -m 10800 --retry 100 -o dump.tar.gz %database_backup%"
start /wait cmd /c "%work_directory%\%zu_app% e dump.tar.gz && del dump.tar.gz && %work_directory%\%zu_app% x dump.tar && del dump.tar"