From f1db13cede3162e1f5fbd685c56db109cc4c1b6c Mon Sep 17 00:00:00 2001
From: Romain Neutron <imprec@gmail.com>
Date: Thu, 17 Oct 2013 13:55:58 +0200
Subject: [PATCH] Fix #1540 : Unable to start scheduler on Windows platform

---
 lib/classes/task/Scheduler.php | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/lib/classes/task/Scheduler.php b/lib/classes/task/Scheduler.php
index 32513b2fe9..d4f648d2e3 100644
--- a/lib/classes/task/Scheduler.php
+++ b/lib/classes/task/Scheduler.php
@@ -362,7 +362,14 @@ class task_Scheduler
                                 );
 
                                 if (is_resource($taskPoll[$tkey]["process"])) {
-                                    sleep(2); // let the process lock and write it's pid
+                                    // let the process lock and write it's pid
+                                    $sleepTimeout = microtime(true) + 10;
+                                    do {
+                                        usleep(500000);
+                                        if (null !== $taskPoll[$tkey]['task']->getPID()) {
+                                            break;
+                                        }
+                                    } while (microtime(true) < $sleepTimeout);
                                 }
 
                                 if (is_resource($taskPoll[$tkey]["process"]) && ($pid = $taskPoll[$tkey]['task']->getPID()) !== null) {