Index: sources/device/DeviceController.cpp
===================================================================
diff -u -rc849da4382b19f1e0cf36c39e7975b337bf6bec0 -r2038a8a2dcec5a461868b0150ad6fbfc2bfd8707
--- sources/device/DeviceController.cpp	(.../DeviceController.cpp)	(revision c849da4382b19f1e0cf36c39e7975b337bf6bec0)
+++ sources/device/DeviceController.cpp	(.../DeviceController.cpp)	(revision 2038a8a2dcec5a461868b0150ad6fbfc2bfd8707)
@@ -748,7 +748,7 @@
 
 
     // ----- run the process
-    int timeout_ms = 30000;
+    int timeout_ms = 10000;
     TimedProcess *timedProcess = new TimedProcess(&_processFactoryReset, script, timeout_ms);
     timedProcess->start();