?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
(parent: 2473678) | patch
Fix race in dir_reopen().
commit2a088968a3f60e72f6324870e9a55c5ed820531a
authorBen Pfaff <blp@cs.stanford.edu>
Fri, 19 May 2006 02:45:13 +0000 (19 02:45 +0000)
committerBen Pfaff <blp@cs.stanford.edu>
Fri, 19 May 2006 02:45:13 +0000 (19 02:45 +0000)
tree643cbbcc11f4095ba1ab16a479b5f89d1f6e6073tree | snapshot (tar.gz zip)
parent247367824a21da829dcf88cf315db211bd05e235commit | diff
Fix race in dir_reopen().
Thanks to Godmar Back for pointing this out (twice).
Pintos educational operating system