com web/rmtools: Fix locale-depending timestamp generation: bin/snapshot_task.bat

Commit: 6baf0ef19d94b0d10bb0bdc52e01958e8adb99ce Author: Christoph M. Becker <cmbecker69@gmx.de> Sun, 24 Mar 2019 11:56:02 +0100 Parents: 71c53d0daac679f9d4583c781aba2527a11ba9ae Branches: master Link: http://git.php.net/?p=web/rmtools.git;a=commitdiff;h=6baf0ef19d94b0d10bb0bdc52e01958e8adb99ce Log: Fix locale-depending timestamp generation This resolves <https://github.com/php/web-rmtools/issues/5>. Changed paths: M bin/snapshot_task.bat Diff: diff --git a/bin/snapshot_task.bat b/bin/snapshot_task.bat index e651aee..731c87c 100644 --- a/bin/snapshot_task.bat +++ b/bin/snapshot_task.bat @@ -12,7 +12,7 @@ if "%PHP_SDK_ROOT_PATH%"=="" ( ) call %~dp0rmtools_setvars.bat -for /f "tokens=2-8 delims=.:/ " %%a in ("%date% %time%") do set cur_date=%%c-%%a-%%b_%%d-%%e-%%f.%%g +for /f "tokens=1-8 delims=-" %%a in ('powershell get-date -format "{yyyy-MM-dd-HH-mm-ss-ff}"') do set cur_date=%%a-%%b-%%c_%%d-%%e-%%f.%%g set PART=%* set LOG_FILE=%PHP_RMTOOLS_LOG_PATH%\task-%PART: =-%-%cur_date%.log