diff setup.py @ 18708:86524a70c0f6

worker: fix a race in SIGINT handling This is almost impossible to trigger due to the tiny time window involved.
author Bryan O'Sullivan <bryano@fb.com>
date Wed, 20 Feb 2013 11:31:31 -0800
parents 65a46635fb31
children 3f59cb1ccc73
line wrap: on
line diff