Mikael Nordfeldth 81f9a59f25 use connect_timeout value for execution margin		2016-01-22 12:19:17 +01:00
..
opportunisticqueuemanager.php	use connect_timeout value for execution margin	2016-01-22 12:19:17 +01:00
runqueuebadkeyexception.php	Cron split into Cronish and OpportunisticQM	2013-11-20 21:20:42 +01:00
runqueueoutofworkexception.php	Cron split into Cronish and OpportunisticQM	2013-11-20 21:20:42 +01:00