Wait a few seconds to ping Jenkins.

mythmon · Jun 7, 2011 · 3da9ab1 · 3da9ab1
1 parent 86a41da
commit 3da9ab1
Showing 1 changed file with 13 additions and 9 deletions.
diff --git a/jig.js b/jig.js
@@ -111,15 +111,19 @@ var server = http.createServer(function(req, res) {
             if (CONFIG.http.auth) {
                 headers['Authorization'] = CONFIG.http.auth;
             }
-            web.get({
-                host: JENKINS,
-                path: ref.path + '?' + qs.stringify(q),
-                headers: headers
-            }, function(res) {
-                console.log(res.statusCode + ': ' + ref.path + '?' + qs.stringify(q));
-            }).on('error', function(err) {
-                console.log(err);
-            });
+            // We wrap this in a setTimeout to give downstream repos
+            // time to sync with github.
+            setTimeout(function() {
+                web.get({
+                    host: JENKINS,
+                    path: ref.path + '?' + qs.stringify(q),
+                    headers: headers
+                }, function(res) {
+                    console.log(res.statusCode + ': ' + ref.path + '?' + qs.stringify(q));
+                }).on('error', function(err) {
+                    console.log(err);
+                });
+            }, 5000);
         }
     });
 });