[Seaside-dev] Issue 179 in seaside: review mutexes in WACache

[codesite-noreply at google.com]

Updates:
	Status: Verified

Comment #2 on issue 179 by renggli: review mutexes in WACache
http://code.google.com/p/seaside/issues/detail?id=179

Beware of bugs in the above code; I have only proved it correct, not tried  
it.
--Knuth

--
You received this message because you are listed in the owner
or CC fields of this issue, or because you starred this issue.
You may adjust your issue notification preferences at:
http://code.google.com/hosting/settings