updated after planetlab syncs up with 5.0

[build.git] / module-tools.py
diff --git a/module-tools.py b/module-tools.py

index 3317bbe..5b19b8d 100755 (executable)
--- a/module-tools.py
+++ b/module-tools.py
@@ -269,7 +269,7 @@ class Module:
      @staticmethod
      def html_dump_header(title):
          nowdate=time.strftime("%Y-%m-%d")
-        nowtime=time.strftime("%H:%M")
+        nowtime=time.strftime("%H:%M (%Z)")
          print """
  <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
  <html xmlns="http://www.w3.org/1999/xhtml" lang="en" xml:lang="en">