diff options
| author | Denis Ledoux <dle@odoo.com> | 2018-07-27 11:33:05 +0200 |
|---|---|---|
| committer | Denis Ledoux <dle@odoo.com> | 2018-07-27 11:40:01 +0200 |
| commit | 3096d94d9bc903297ae320f3705362aba1885277 (patch) | |
| tree | a64f5424ceed78df8e8aecc2c00cb82a98bc7576 /addons/web_editor/static/src/js/editor/transcoder.js | |
| parent | f05b10ce4984c10be9a9664f17f093ba2ec5ee85 (diff) | |
[FIX] service: --dev=reload, exclude temporary python files
Do not reload when a temporary Python file is
added/updated/reloaded.
This is to be able to use editors using isolation when saving file.
On save, they create a temporary file which is then moved on the target file.
The temporary file exists for milliseconds only,
and when the change was detected by watchdog and the server was reloaded,
the file already no longer existed on load.
It leaded to `No such file or directory` after the reload.
Diffstat (limited to 'addons/web_editor/static/src/js/editor/transcoder.js')
0 files changed, 0 insertions, 0 deletions
