[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Octave-bug-tracker] [bug #55161] Cannot open multiple files from Google
From: |
Markus Mützel |
Subject: |
[Octave-bug-tracker] [bug #55161] Cannot open multiple files from Google Drive File Stream in the editor |
Date: |
Fri, 25 Oct 2019 14:30:20 -0400 (EDT) |
User-agent: |
Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:71.0) Gecko/20100101 Firefox/71.0 |
Follow-up Comment #23, bug #55161 (project octave):
If stat works as well, that would simplify the code significantly.
A direct link to what C++17's "equivalent" would do(?):
https://www.boost.org/doc/libs/1_53_0/libs/filesystem/doc/reference.html#equivalent
The note might give the reason why we have OS specific code:
> Windows implementations may use GetFileInformationByHandle() as a surrogate
for stat(), and consider "same" to be equal values for dwVolumeSerialNumber,
nFileIndexHigh, nFileIndexLow, nFileSizeHigh, nFileSizeLow,
ftLastWriteTime.dwLowDateTime, and ftLastWriteTime.dwHighDateTime.
So Kai's patch is probably the safest thing to do until we switch to using
C++17.
_______________________________________________________
Reply to this item at:
<https://savannah.gnu.org/bugs/?55161>
_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/
- [Octave-bug-tracker] [bug #55161] Cannot open multiple files from Google Drive File Stream in the editor, (continued)
- [Octave-bug-tracker] [bug #55161] Cannot open multiple files from Google Drive File Stream in the editor, Torsten Lilge, 2019/10/13
- [Octave-bug-tracker] [bug #55161] Cannot open multiple files from Google Drive File Stream in the editor, Kai Torben Ohlhus, 2019/10/14
- [Octave-bug-tracker] [bug #55161] Cannot open multiple files from Google Drive File Stream in the editor, Kai Torben Ohlhus, 2019/10/14
- [Octave-bug-tracker] [bug #55161] Cannot open multiple files from Google Drive File Stream in the editor, Kai Torben Ohlhus, 2019/10/15
- [Octave-bug-tracker] [bug #55161] Cannot open multiple files from Google Drive File Stream in the editor, Kai Torben Ohlhus, 2019/10/15
- [Octave-bug-tracker] [bug #55161] Cannot open multiple files from Google Drive File Stream in the editor, Kai Torben Ohlhus, 2019/10/15
- [Octave-bug-tracker] [bug #55161] Cannot open multiple files from Google Drive File Stream in the editor, Torsten Lilge, 2019/10/15
- [Octave-bug-tracker] [bug #55161] Cannot open multiple files from Google Drive File Stream in the editor, Kai Torben Ohlhus, 2019/10/15
- [Octave-bug-tracker] [bug #55161] Cannot open multiple files from Google Drive File Stream in the editor, Markus Mützel, 2019/10/15
- [Octave-bug-tracker] [bug #55161] Cannot open multiple files from Google Drive File Stream in the editor, Torsten Lilge, 2019/10/25
- [Octave-bug-tracker] [bug #55161] Cannot open multiple files from Google Drive File Stream in the editor,
Markus Mützel <=
- [Octave-bug-tracker] [bug #55161] Cannot open multiple files from Google Drive File Stream in the editor, Torsten Lilge, 2019/10/25
- [Octave-bug-tracker] [bug #55161] Cannot open multiple files from Google Drive File Stream in the editor, Kai Torben Ohlhus, 2019/10/26
- [Octave-bug-tracker] [bug #55161] Cannot open multiple files from Google Drive File Stream in the editor, Kai Torben Ohlhus, 2019/10/28
- [Octave-bug-tracker] [bug #55161] Cannot open multiple files from Google Drive File Stream in the editor, Kai Torben Ohlhus, 2019/10/28
- [Octave-bug-tracker] [bug #55161] Cannot open multiple files from Google Drive File Stream in the editor, Kai Torben Ohlhus, 2019/10/28
- [Octave-bug-tracker] [bug #55161] Cannot open multiple files from Google Drive File Stream in the editor, Christos Sevastiadis, 2019/10/30