[jhbuild] goalreport: add a footer with generation time/host

[Frederic Peters <fpeters src gnome org>]

commit 525b94690e155128327e952a68a5b0f6b2a37049
Author: FrÃdÃric PÃters <fpeters 0d be>
Date:   Sat May 12 14:19:14 2012 +0200

    goalreport: add a footer with generation time/host

 jhbuild/commands/goalreport.py |    7 +++++++
 1 files changed, 7 insertions(+), 0 deletions(-)
---
diff --git a/jhbuild/commands/goalreport.py b/jhbuild/commands/goalreport.py
index 556603d..c44f14f 100644
--- a/jhbuild/commands/goalreport.py
+++ b/jhbuild/commands/goalreport.py
@@ -19,8 +19,10 @@
 
 import os
 import re
+import socket
 import sys
 import subprocess
+import time
 import types
 import cPickle
 import logging
@@ -548,6 +550,11 @@ class cmd_goalreport(Command):
             print >> output, '</ul>'
             print >> output, '</div>'
 
+        print >> output, '<div id="footer">'
+        print >> output, 'Generated:', time.strftime('%Y-%m-%d %H:%M:%S %z')
+        print >> output, 'on ', socket.getfqdn()
+        print >> output, '</div>'
+
         print >> output, '</body>'
         print >> output, '</html>'