Commit:    6baf0ef19d94b0d10bb0bdc52e01958e8adb99ce
Author:    Christoph M. Becker <[email protected]>         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


--
PHP Webmaster List Mailing List (http://www.php.net/)
To unsubscribe, visit: http://www.php.net/unsub.php

Reply via email to