mirror of
https://git.tuxpa.in/a/code-server.git
synced 2024-12-26 20:25:25 +00:00
e4ff723895
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. |
||
---|---|---|
.. | ||
build.sh | ||
dummy.js | ||
install-packages.ts | ||
test-setup.js | ||
vscode.patch | ||
webpack.client.config.js | ||
webpack.general.config.js | ||
webpack.node.config.js |