update jenkins url

kyle-basis · Nov 5, 2013 · ecea48a · ecea48a
1 parent 586ddd2
commit ecea48a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/macro/headers.py b/macro/headers.py
@@ -143,7 +143,7 @@ def get_doc_status(opt_distro, repo_name, data):
     #Try to get the current build status for the doc job
     status_string = "<b>Doc job status is unknown.</b>"
     if opt_distro:
-        jenkins_url = 'http://jenkins.willowgarage.com:8080/job/%s/lastBuild' % \
+        jenkins_url = 'http://jenkins.ros.org/job/%s/lastBuild' % \
                 (data.get("doc_job", "doc-%s-%s" % (opt_distro, repo_name)))
         if data.has_key('timestamp'):
             timestamp = datetime.datetime.fromtimestamp(data['timestamp'])