[Reproducible-builds] [PATCH] Refresh live page every 60 seconds

[Chris Lamb]

Hi,

Please merge from the "refresh-live-page-automatically" branch of
https://github.com/lamby/jenkins.debian.net:

  commit 67aa034c3f3553dfe1fef9f078697d5541151de9
  Author: Chris Lamb <lamby at debian.org>
  Date:   Thu Sep 10 22:25:31 2015 +0100
  
      Support meta-refresh header
      
      Signed-off-by: Chris Lamb <lamby at debian.org>
  
   bin/reproducible_common.py | 8 ++++++--
   1 file changed, 6 insertions(+), 2 deletions(-)
  
  commit f88bf21e846368e3e73a3e4ed901cfc8d7050125
  Author: Chris Lamb <lamby at debian.org>
  Date:   Thu Sep 10 22:25:39 2015 +0100
  
      Refresh live page every 60 seconds
      
      Signed-off-by: Chris Lamb <lamby at debian.org>
  
   bin/reproducible_html_live_status.py | 2 +-
   1 file changed, 1 insertion(+), 1 deletion(-)


Regards,

-- 
      ,''`.
     : :'  :     Chris Lamb
     `. `'`      lamby at debian.org / chris-lamb.co.uk
       `-