# HG changeset patch
# User Chris Cannam
# Date 1569925923 -3600
# Node ID e50b2e568679a49425b673fa584a1334cafa35f2
# Parent  13b0abef20e01917ffd05023755f6178ea064ac6
Update for work on thread-safe models

diff -r 13b0abef20e0 -r e50b2e568679 main/main.cpp
--- a/main/main.cpp	Mon Sep 30 12:51:03 2019 +0100
+++ b/main/main.cpp	Tue Oct 01 11:32:03 2019 +0100
@@ -61,6 +61,7 @@
         cleanedUp = true;
     }
     cleanupMutex.unlock();
+    cerr << "signalHandler: cleaned up" << endl;
     exit(0);
 }
 
diff -r 13b0abef20e0 -r e50b2e568679 repoint-lock.json
--- a/repoint-lock.json	Mon Sep 30 12:51:03 2019 +0100
+++ b/repoint-lock.json	Tue Oct 01 11:32:03 2019 +0100
@@ -4,7 +4,7 @@
       "pin": "0b6802e3b755"
     },
     "svcore": {
-      "pin": "94b488d4b299"
+      "pin": "13bd41bd8a17"
     },
     "svgui": {
       "pin": "4fab699536f9"