Insert a delay to make sure the QUIT message arrives (#2018).

I have no idea why this is necessary, but the nanomsg documentation
suggests it.

diff --git a/src/tools/dcpomatic_disk.cc b/src/tools/dcpomatic_disk.cc
index 67705ffcb65d941d97f2960bfdf337b28da19cb9..784dc4a815a0ac25d1f9d49a99fad4c2cf4db932 100644 (file)
--- a/src/tools/dcpomatic_disk.cc
+++ b/src/tools/dcpomatic_disk.cc
@@ -173,6 +173,10 @@ public:
        ~DOMFrame ()
        {
                _nanomsg.send(DISK_WRITER_QUIT "\n", 2000);
+               /* This seems really horrible but it's suggested by the examples on nanomsg.org, so...
+                * Without this the quit is not received (at least sometimes) causing #2018.
+                */
+               dcpomatic_sleep_seconds (1);
        }
 
 private: