- /// @todo the 10 minutes needs to be configurable
- /// Additionally we should clean up the corresponding workerqueue entries as well
+ $timeout = Config::get("system", "frontend_worker_timeout", 10);
+
+ /// @todo We should clean up the corresponding workerqueue entries as well