Archived
1
0
This repository has been archived on 2024-09-09. You can view files and clone it, but cannot push or open issues or pull requests.
code-server/scripts
Asher e4ff723895
Fix race with watcher & stat
There is a window between when the stat is made and the result makes it
back to the client where a file is created or deleted and it won't be a
part of that stat.

To fix it, I added a new property signaling that we got some changes
since starting the stat and should run the stat again because we have no
way of knowing whether the currently running stat will include the new
changes or not.
2019-03-13 14:04:40 -05:00
..
build.sh Add Dockerfile and some cleanup (#57) 2019-03-06 18:59:43 -08:00
dummy.js Implement fs module (#3) 2019-02-05 11:15:47 -06:00
install-packages.ts Fix build and Dockerfile issues (#176) 2019-03-09 14:51:51 -08:00
test-setup.js Implement fs module (#3) 2019-02-05 11:15:47 -06:00
vscode.patch Fix race with watcher & stat 2019-03-13 14:04:40 -05:00
webpack.client.config.js Fix extra CSS being included on the client 2019-02-26 14:23:01 -06:00
webpack.general.config.js Add task for packaging release (#6) 2019-03-06 18:15:52 -06:00
webpack.node.config.js Fix extra CSS being included on the client 2019-02-26 14:23:01 -06:00