Recover from fsmonitor process exiting unexpectedly.
A side note:
This patch also covers the fsmonitor python script. I doubt anyone is actually using that script anymore. If someone would like to continue using the python script (because the native unison-fsmonitor is not working for some unfixable reason or is unsupported on their platform) then the correct way to do it is to rewrite the script to work with the new fswatch protocol (as defined in fswatch.ml). Or use a third-party watcher that uses the new protocol.
Recover from fsmonitor process exiting unexpectedly.
A side note: This patch also covers the fsmonitor python script. I doubt anyone is actually using that script anymore. If someone would like to continue using the python script (because the native
unison-fsmonitoris not working for some unfixable reason or is unsupported on their platform) then the correct way to do it is to rewrite the script to work with the new fswatch protocol (as defined infswatch.ml). Or use a third-party watcher that uses the new protocol.