comparison sat_frontends/jp/xmlui_manager.py @ 3000:d603550d5e99

jp (blog/preview): fixed watch restoring when file is moved/deleted: with some editors (e.g. vim), when file is written it is actually replaced with a buffered one. In this case, jp replace the watch to check the new file, but it was not working anymore with latest version of inotify module. This patch fixes it by removing the old watch before adding a new one.
author Goffi <goffi@goffi.org>
date Fri, 12 Jul 2019 11:29:05 +0200
parents 620bbcec884c
children ab2696e34d29
comparison
equal deleted inserted replaced
2999:85d8e9a7284b 3000:d603550d5e99