python-eventlet/eventlet/green/selectors.py

   1 import sys
   2
   3 from eventlet import patcher
   4 from eventlet.green import select
   5
   6 patcher.inject('selectors', globals(), ('select', select))
   7
   8 del patcher
   9
  10 if sys.platform != 'win32':
  11     SelectSelector._select = staticmethod(select.select)