X-Git-Url: https://main.carlh.net/gitweb/?a=blobdiff_plain;f=src%2Flib%2Fsignal_manager.h;h=13a45b640cede8a6d8930b0b70dcb43e56ba8031;hb=3828baf56467224f5d44049bf1e7a7ed11f43a05;hp=b8d892c41dc264e527d094e6336c9ebd8697125b;hpb=dd8a7d1bbb8f2afb1b98d2be856ff0a9920e180d;p=dcpomatic.git

diff --git a/src/lib/signal_manager.h b/src/lib/signal_manager.h
index b8d892c41..13a45b640 100644
--- a/src/lib/signal_manager.h
+++ b/src/lib/signal_manager.h
@@ -1,19 +1,20 @@
 /*
     Copyright (C) 2012-2015 Carl Hetherington <cth@carlh.net>
 
-    This program is free software; you can redistribute it and/or modify
+    This file is part of DCP-o-matic.
+
+    DCP-o-matic is free software; you can redistribute it and/or modify
     it under the terms of the GNU General Public License as published by
     the Free Software Foundation; either version 2 of the License, or
     (at your option) any later version.
 
-    This program is distributed in the hope that it will be useful,
+    DCP-o-matic is distributed in the hope that it will be useful,
     but WITHOUT ANY WARRANTY; without even the implied warranty of
     MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
     GNU General Public License for more details.
 
     You should have received a copy of the GNU General Public License
-    along with this program; if not, write to the Free Software
-    Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
+    along with DCP-o-matic.  If not, see <http://www.gnu.org/licenses/>.
 
 */
 
@@ -38,6 +39,8 @@ public:
 		_ui_thread = boost::this_thread::get_id ();
 	}
 
+	virtual ~SignalManager () {}
+
 	/* Do something next time the UI is idle */
 	template <typename T>
 	void when_idle (T f) {
@@ -46,8 +49,8 @@ public:
 
 	/** Call this in the UI when it is idle */
 	size_t ui_idle () {
-		/* This executes any functors that have been post()ed to _service */
-		return _service.poll ();
+		/* This executes one of the functors that has been post()ed to _service */
+		return _service.poll_one ();
 	}
 
 	/** This should wake the UI and make it call ui_idle() */