reports command line switches used in generating output files

2011-05-12 08:25:34 +00:00 · 2011-05-12 08:25:34 +00:00 · 25bf6bf7dd
parent a675a7d8bf
commit 25bf6bf7dd
1 changed files with 2 additions and 1 deletions
--- a/processing/post/postResults
+++ b/processing/post/postResults
@ -924,8 +924,9 @@ for incCount,increment in enumerate(increments):
  if not fileOpen:
    file = open(outFilename,'w')
    fileOpen = True
-    file.write('2\theader\n')
+    file.write('3\theader\n')
    file.write('$Id$\n')
+    file.write('%s\n'%sys.argv[0])
    headerWritten = False

  file.flush()