Johannes Schindelin
80b24362cf
Merge pull request #2203 from dscho/fix-racy-fsmonitor-gfw
...
Fix racy fsmonitor
The `t7519-status-fsmonitor.sh` tests became a *lot* more flaky with the
recent fsmonitor fix (`js/fsmonitor-refresh-after-discarding-index`).
That fix, however, did not introduce the flakiness, but it just made it
much more likely to be hit. And it seemed to be hit *only* on Windows.
The reason, though, is that the fsmonitor feature failed to mark the
in-memory index as changed, i.e. in need of writing, and it was the
`has_racy_timestamp()` test that hid this bug in most cases (although a
lot less on Windows, where the files' mtimes are actually a lot more
accurate than on Linux).
This fixes https://github.com/gitgitgadget/git/issues/197
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de >
2019-06-03 22:59:41 +02:00
..
2019-06-03 22:59:23 +02:00
2019-06-03 22:59:31 +02:00
2018-08-13 14:14:44 -07:00
2019-01-02 13:05:30 -08:00
2019-06-03 22:59:31 +02:00
2019-04-25 16:41:21 +09:00
2019-03-21 12:03:35 +09:00
2019-01-24 12:35:44 -08:00
2019-02-06 22:05:27 -08:00
2019-01-24 11:55:06 -08:00
2019-01-24 11:55:06 -08:00
2019-02-06 22:05:23 -08:00
2019-04-25 16:41:14 +09:00
2019-06-03 22:59:39 +02:00
2019-06-03 22:59:40 +02:00
2019-04-01 12:14:50 +09:00
2019-03-08 10:31:24 +09:00
2019-06-03 22:59:23 +02:00
2019-01-29 12:47:54 -08:00
2018-11-13 14:22:02 +09:00
2019-02-06 22:05:29 -08:00
2019-01-24 11:55:06 -08:00
2019-01-24 11:55:06 -08:00
2019-03-07 09:59:54 +09:00
2019-04-25 16:41:12 +09:00
2019-05-19 16:45:35 +09:00
2019-01-04 13:33:33 -08:00
2019-03-20 18:34:09 +09:00
2019-06-03 22:59:31 +02:00
2018-10-19 13:34:02 +09:00
2019-03-21 12:03:35 +09:00
2019-03-20 15:16:06 +09:00
2019-06-03 22:59:31 +02:00
2019-04-01 11:57:39 +09:00
2019-02-06 22:05:23 -08:00
2019-01-24 11:55:06 -08:00
2019-02-20 12:31:56 -08:00
2019-04-01 18:08:05 +09:00
2019-04-16 19:28:05 +09:00
2018-11-06 12:56:29 +09:00
2019-04-25 16:41:12 +09:00
2019-04-25 16:41:20 +09:00
2019-03-21 12:03:35 +09:00
2019-01-14 15:29:28 -08:00
2018-11-02 11:04:55 +09:00
2018-11-06 12:56:29 +09:00
2019-01-24 11:55:06 -08:00
2019-01-24 11:55:06 -08:00
2019-02-06 22:05:23 -08:00
2019-02-06 22:05:23 -08:00
2019-06-03 22:59:31 +02:00
2018-10-15 12:53:15 +09:00
2019-05-07 13:48:41 +09:00
2019-01-24 11:55:06 -08:00
2019-04-01 11:57:38 +09:00
2019-01-15 15:38:29 -08:00
2019-05-19 16:45:30 +09:00
2019-04-01 11:57:38 +09:00
2019-04-26 10:54:03 +09:00
2019-03-07 09:59:55 +09:00
2019-02-14 15:25:33 -08:00
2019-05-09 00:37:24 +09:00
2019-06-03 22:59:28 +02:00
2019-03-24 22:21:24 +09:00
2019-03-24 21:35:34 +09:00
2019-06-03 22:59:40 +02:00
2019-06-03 22:59:31 +02:00
2019-02-06 22:05:27 -08:00
2018-09-24 10:30:52 -07:00
2019-06-03 22:59:31 +02:00
2019-05-09 00:37:24 +09:00
2019-01-15 15:38:29 -08:00
2019-06-03 22:59:17 +02:00
2019-05-09 00:37:25 +09:00
2019-01-24 11:55:06 -08:00
2019-04-19 12:05:36 +09:00
2019-04-08 16:02:07 +09:00
2019-01-02 13:05:30 -08:00
2018-12-15 12:24:33 +09:00
2019-04-08 17:26:33 +09:00
2019-05-19 16:45:30 +09:00
2019-06-03 22:59:24 +02:00
2018-12-26 15:41:47 -08:00
2019-05-19 16:45:27 +09:00
2019-05-19 16:45:26 +09:00
2018-08-29 11:32:49 -07:00
2019-06-03 22:59:32 +02:00
2018-09-12 15:17:17 -07:00
2018-10-26 10:17:59 +09:00
2018-07-18 15:45:14 -07:00
2019-04-10 02:14:24 +09:00
2019-01-24 11:55:06 -08:00