Opened 5 years ago
Closed 5 years ago
#5544 closed defect (invalid)
OMEdit does not update the timestamp of .mo files when saving
| Reported by: | Francesco Casella | Owned by: | Adeel Asghar |
|---|---|---|---|
| Priority: | critical | Milestone: | 1.14.0 |
| Component: | OMEdit | Version: | |
| Keywords: | Cc: |
Description
Steps to reproduce:
- copy the attached model on the local file system
- open it with OMEdit
- change anything and hit Save
The file on the local file system is updated. However, the timestamp is not. This can be quite confusing, since it looks like the file has not been updated, while in fact it has.
I'm using v1.14.0-dev-26534-g3ae6d2dc06 (64-bit) on Windows 10 Pro.
Attachments (1)
Change History (5)
by , 5 years ago
comment:1 by , 5 years ago
comment:2 by , 5 years ago
In fact, the TestConnection.mo file I originally used to find out this issue shows a timestamp at 22/06/2019 17:18 in Windows Explorer, while if I use dir at the command line prompt, I see 22/06/2019 19:23.
The problem is:
- I have no idea how to refresh Explorer. I looked for Refresh in the menu, but couldn't find it. I remembered an F9 key to do that in older versions, but it has no effect.
- I thought that Windows 10 had automatic refresh - I never had this kind of issues with any other software.
Are we sure OMEdit is not doing something weird (e.g. flushing the write cache but somehow not really closing the file for good)?
follow-up: 4 comment:3 by , 5 years ago
F5 is refresh in Windows (Explorer, browser, etc). Also right click in a Windows Explorer (not on any files or directories) will give you Refresh options as third or fourth choice.
Windows should do (does) automatic refresh if things are not changing too quickly.
Also, if you have network shares that are disconnected the refresh is rather slow.
It could also be that you have some issues on your system and automatic refresh is disabled.
comment:4 by , 5 years ago
| Resolution: | → invalid |
|---|---|
| Status: | new → closed |
Replying to adrpo:
F5 is refresh in Windows (Explorer, browser, etc).
Tried it, didn't work.
Also right click in a Windows Explorer (not on any files or directories) will give you Refresh options as third or fourth choice.
No such option. I guess automatic refresh is enabled.
However, I right-clicked the file, selected Properties, and I discovered the following interesting file information:
- File Creation date: 22 june 2019 17:18
- Last Modification date: 22 june 2019 19.23
So, apparently, while dir shows me the last modification date, Explorer shows me the Creation date,. I must have changed that option without really paying attention. I now set it to "Last modification date" and I get the right information.
It's Windows :)
For me it does work as expected. Also I think it is more of a OS thing rather than OMEdit. Sometimes you need top refresh the Windows Explorer.