Mercurial > repos > peterjc > mira4_assembler

diff tools/mira4/mira4.py @ 19:8487d70e82aa draft

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Uploaded v0.0.3 preview 1, target MIRA v4.0.2
author peterjc
date Wed, 21 May 2014 06:56:06 -0400
parents 381aa262c8cb
children aeb3e35f8236
line wrap: on
line diff
--- a/tools/mira4/mira4.py	Tue Mar 25 07:37:50 2014 -0400
+++ b/tools/mira4/mira4.py	Wed May 21 06:56:06 2014 -0400
@@ -91,9 +91,12 @@
     #but could be followed by a space in future...
     text = text.replace("-DI:trt=/tmp", "-DI:trt=" + tempfile.gettempdir())
 
+    #Want to try to ensure this gets written to disk before MIRA attempts
+    #to open it - any networked file system may impose a delay...
     handle = open(manifest, "w")
     handle.write(text)
     handle.flush()
+    os.fsync(handle.fileno())
     handle.close()