[LyX/master] Fix segfault after deleting monitor

[Scott Kostyshak]

commit 131f4b92bac3ecb75b47c266dfa3d8543bd4d578
Author: Guillaume MM <g...@lyx.org>
Date:   Tue Nov 13 23:10:35 2018 +0100

    Fix segfault after deleting monitor
    
    The boost signal was sent synchronously, and so made the Qt signal to be 
posted
    in FileMonitor::changed after the boost signal returned, so after the 
sender was
    possibly destroyed.
    
    The solution is to make the boost signal asynchronous using the Qt event 
loop.
    
    Thanks to Scott Kostyshak for the report and MWE.
---
 src/insets/RenderPreview.cpp |    1 +
 src/support/FileMonitor.cpp  |   17 ++++++++---------
 src/support/FileMonitor.h    |    7 -------
 3 files changed, 9 insertions(+), 16 deletions(-)

diff --git a/src/insets/RenderPreview.cpp b/src/insets/RenderPreview.cpp
index df0ac64..a216250 100644
--- a/src/insets/RenderPreview.cpp
+++ b/src/insets/RenderPreview.cpp
@@ -304,6 +304,7 @@ void RenderMonitoredPreview::startMonitoring() const
 {
        if (!monitoring()) {
                monitor_ = FileSystemWatcher::activeMonitor(filename_);
+               // Disconnected at the same time as this is destroyed.
                monitor_->connect([this](bool /* exists */){ changed_(); });
        }
 }
diff --git a/src/support/FileMonitor.cpp b/src/support/FileMonitor.cpp
index c703d2b..a3b17ad 100644
--- a/src/support/FileMonitor.cpp
+++ b/src/support/FileMonitor.cpp
@@ -176,7 +176,14 @@ FileMonitor::FileMonitor(std::shared_ptr<FileMonitorGuard> 
monitor)
 
 void FileMonitor::connectToFileMonitorGuard()
 {
+       // Connections need to be asynchronous because the receiver can own this
+       // object and therefore is allowed to delete it.
+       // Qt signal:
        QObject::connect(monitor_.get(), SIGNAL(fileChanged(bool)),
+                        this, SIGNAL(fileChanged(bool)),
+                        Qt::QueuedConnection);
+       // Boost signal:
+       QObject::connect(this, SIGNAL(fileChanged(bool)),
                         this, SLOT(changed(bool)));
 }
 
@@ -187,18 +194,10 @@ signals2::connection FileMonitor::connect(slot const & 
slot)
 }
 
 
-void FileMonitor::disconnect()
-{
-       fileChanged_.disconnect_all_slots();
-       QObject::disconnect(this, SIGNAL(fileChanged(bool)));
-}
-
-
 void FileMonitor::changed(bool const exists)
 {
        // emit boost signal
        fileChanged_(exists);
-       Q_EMIT fileChanged(exists);
 }
 
 
@@ -244,7 +243,7 @@ void ActiveFileMonitor::checkModified()
                }
        }
        if (changed)
-               FileMonitor::changed(exists);
+               Q_EMIT FileMonitor::fileChanged(exists);
        QTimer::singleShot(interval_, this, SLOT(clearCooldown()));
 }
 
diff --git a/src/support/FileMonitor.h b/src/support/FileMonitor.h
index 14aa834..07a8dc5 100644
--- a/src/support/FileMonitor.h
+++ b/src/support/FileMonitor.h
@@ -60,10 +60,6 @@ typedef std::unique_ptr<ActiveFileMonitor> 
ActiveFileMonitorPtr;
 ///   monitor.connect(...);
 /// (stops watching the first)
 ///
-/// Reset connections:
-///   monitor.disconnect();
-///   or the disconnect method of the connection object for the boost signal.
-///
 class FileSystemWatcher
 {
 public:
@@ -137,9 +133,6 @@ public:
        typedef sig::slot_type slot;
        /// Connect and you'll be informed when the file has changed.
        signals2::connection connect(slot const &);
-       /// disconnect all slots connected to the boost signal fileChanged_ or 
to
-       /// the qt signal fileChanged()
-       void disconnect();
        /// absolute path being tracked
        std::string const & filename() { return monitor_->filename(); }
        /// Make sure the good file is being monitored, after e.g. a move or a