app/django/utils/synch.py
changeset 845 255faade3e30
parent 54 03e267d67478