mirrors/mongodb
mirrors/mongodb
0
0
Fork 0
mirror of https://github.com/mongodb/mongo.git synced 2024-12-01 09:32:32 +01:00
Code Issues Releases Activity

fix for windows

Browse Source
This commit is contained in:
Dwight 2011-10-07 17:10:54 -04:00
parent 76ea72711c
commit 359a4fe928
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
buildscripts/errorcodes.py
View File

@ -78,6 +78,7 @@ def readErrorCodes( callback, replaceZero = False ):
of = open( x + ".tmp", 'w' )
of.write( "".join( lines ) )
of.close()
os.remove(x)
os.rename( x + ".tmp", x )