| Index: site/try/add_time_stamp.py
|
| diff --git a/site/try/add_time_stamp.py b/site/try/add_time_stamp.py
|
| deleted file mode 100644
|
| index adc0612beeb6dbb6f8428f0a5953a753dd274e6a..0000000000000000000000000000000000000000
|
| --- a/site/try/add_time_stamp.py
|
| +++ /dev/null
|
| @@ -1,22 +0,0 @@
|
| -#!/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 datetime
|
| -import sys
|
| -
|
| -def Main():
|
| - (_, input_file_name, output_file_name) = sys.argv
|
| - if not input_file_name or not output_file_name:
|
| - raise Exception('Missing argument')
|
| -
|
| - timestamp = str(datetime.datetime.now())
|
| -
|
| - with open(input_file_name, 'r') as input_file:
|
| - with open(output_file_name, 'w') as output_file:
|
| - output_file.write(input_file.read().replace('@@TIMESTAMP@@', timestamp))
|
| -
|
| -
|
| -if __name__ == '__main__':
|
| - sys.exit(Main())
|
|
|