editor: arbitrary alert when saving
The mtime of files that have just been saved returned by the ‘watch’ socket (editor.js line 42 and following) is sometimes not equal to the one returned by the ‘save’ ajax call (editor.js line 284). Therefore, the alert shows up.
Annotation: This bug is very hard to reproduce on the local machine but occurs quite often while working online.
(from redmine: issue id 1952, created on 2014-10-21 by root, closed on 2014-10-21)
- Changesets:
- Revision 1689 by Thorben Quast on 2014-10-21T16:53:04Z:
editor: allow for a small time difference in returned mtimes, fix #1952
- Revision 1689 by Thorben Quast on 2014-10-21T16:53:04Z:
editor: allow for a small time difference in returned mtimes, fix #1952
- Revision 1690 by Thorben Quast on 2014-10-21T16:53:54Z:
editor: allow for a small time difference in returned mtimes, fix #1952
- Revision 1690 by Thorben Quast on 2014-10-21T16:53:54Z:
editor: allow for a small time difference in returned mtimes, fix #1952
- Revision 1713 by Benjamin Fischer on 2014-10-30T18:58:55Z:
Reworked WatchService: now implemented as its own class
also implemented remote side event buffering refs #1955, #1952
- Revision 1713 by Benjamin Fischer on 2014-10-30T18:58:55Z:
Reworked WatchService: now implemented as its own class
also implemented remote side event buffering refs #1955, #1952