PR# 19312 Value returned by {FILE_INFO}.date depends on automatic day light saving system setting

Problem Report Summary
Submitter: finnianr
Category: EiffelBase
Priority: Low
Date: 2017/01/16
Class: Bug
Severity: Non-critical
Number: 19312
Release: 16.05.9.8969
Confidential: No
Status: Analyzed
Responsible: alexk_es
Environment: Windows 7, SDK 7.1
Synopsis: Value returned by {FILE_INFO}.date depends on automatic day light saving system setting

Description
The value returned by {FILE_INFO}.date is either an hour more or less depending on the automatic day light saving system setting. The value returned by {RAW_FILE}.date is not affected by the DLS setting.
To Reproduce

										
Problem Report Interactions
From:manus_eiffel    Date:2017/01/16    Status: Analyzed    Download   
This is actually a known issue of the Microsoft C runtime. A long time ago we fixed FILE to avoid this which caused EiffelStudio to recompile classes that were changed during a daylight saving day.

We will look at fixing this for FILE_INFO too but this would render this class completely useless as the goal was to buffer in one query multiple results about the property of a file.