Add timestamp to AppCache manifest.

dart/site/try/add_time_stamp.py

+#!/usr/bin/env python
+# Copyright (c) 2014, the Dart project authors.  Please see the AUTHORS file
+# for details. All rights reserved. Use of this source code is governed by a
+# BSD-style license that can be found in the LICENSE file.
+
+import sys
+import re

[kustermann, 2014/01/16 14:31:37]

"re" is not used, is it?

[ahe, 2014/01/16 16:03:48]

Done.

+import time
+
+def Main():
+  (_, input_file_name, output_file_name) = sys.argv
+  if not input_file_name or not output_file_name:
+    raise Exception('Missing argument')
+
+  input_file = open(input_file_name, 'r')
+  output_file = open(output_file_name, 'w')
+  timestamp = str(time.time())

[kustermann, 2014/01/16 14:31:37]

If I understand it correctly, the only thing you want to ensure is that the file
changes. If so then:

Instead of seeing a number like:
  '1389882566.257333'
which doesn't say much, you could do e.g.:
  timestamp = str(datetime.datetime.now())
which gives a human understandable:
  '2014-01-16 15:29:08.939314'

[ahe, 2014/01/16 16:03:48]

That's actually what I wanted, but I didn't want to spend time reading the
Python documentation to find this method ;-)

+
+  for line in input_file:
+    if '@@TIMESTAMP@@' in line:
+      line = line.replace('@@TIMESTAMP@@', timestamp)
+    print >> output_file, line,
+
+  input_file.close()
+  output_file.close()

[kustermann, 2014/01/16 14:31:37]

You could make this a bit more readable:

with open(input_file_name) as input:
  with open(output_file_name, 'w') as output:
    output.write(input.read().replace("@@TIMESTAMP@@', 'timestamp))

[ahe, 2014/01/16 16:03:48]

Thank you, I had forgotten about "with". "input" is highlighted as a reserved
word in Emacs' Python mode, so I prefer using input_file.

+
+
+if __name__ == '__main__':
+  sys.exit(Main())