reporting correct ID
This commit is contained in:
parent
9441ee7326
commit
0c2b7782d4
|
@ -1060,8 +1060,7 @@ for incCount,position in enumerate(locations): # walk through locations
|
||||||
file = open(outFilename,'w')
|
file = open(outFilename,'w')
|
||||||
fileOpen = True
|
fileOpen = True
|
||||||
file.write('2\theader\n')
|
file.write('2\theader\n')
|
||||||
file.write(string.replace('$Id$','\n','\\n')+
|
file.write(scriptID + '\t' + ' '.join(sys.argv[1:]))
|
||||||
'\t' + ' '.join(sys.argv[1:]) + '\n')
|
|
||||||
headerWritten = False
|
headerWritten = False
|
||||||
|
|
||||||
file.flush()
|
file.flush()
|
||||||
|
|
Loading…
Reference in New Issue