diff options
Diffstat (limited to 'src/tools/servomatic_gui.cc')
| -rw-r--r-- | src/tools/servomatic_gui.cc | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/tools/servomatic_gui.cc b/src/tools/servomatic_gui.cc index a151658f5..610ba8005 100644 --- a/src/tools/servomatic_gui.cc +++ b/src/tools/servomatic_gui.cc @@ -23,6 +23,7 @@ #include "wx_util.h" #include "lib/util.h" #include "lib/server.h" +#include "lib/config.h" using namespace std; using namespace boost; @@ -141,7 +142,7 @@ private: void main_thread () { Server server (&memory_log); - server.run (); + server.run (Config::instance()->num_local_encoding_threads ()); } boost::thread* _thread; |