projects / pintos-anon / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f487a2e) | patch
Fix race in dir_reopen().
authorBen Pfaff <blp@cs.stanford.edu>
Fri, 19 May 2006 02:45:13 +0000 (02:45 +0000)
committerBen Pfaff <blp@cs.stanford.edu>
Fri, 19 May 2006 02:45:13 +0000 (02:45 +0000)
commitad4fa177fa9b3931c5460dc47cb8b62630c01705
treed54d8a689fa5a3fe9d17bfae348114d42cac3601tree | snapshot
parentf487a2e31258aae56304b947950355ac2b074f2fcommit | diff
Fix race in dir_reopen().
Thanks to Godmar Back for pointing this out (twice).
solutions/p4.patch diff | blob | history
Pintos public repository