Revision 413b7472

b/lib/locking.py
145 145 
        break
146 146 

  		





  147
  147
  
    
      try:


  		





  148
  
  
    
        result = self._poller.poll(remaining_time)


  		





  
  148
  
    
        # Our calculation uses seconds, poll() wants milliseconds


  		





  
  149
  
    
        result = self._poller.poll(1000 * remaining_time)


  		





  149
  150
  
    
      except EnvironmentError, err:


  		





  150
  151
  
    
        if err.errno != errno.EINTR:


  		





  151
  152
  
    
          raise


  		












Also available in:
  Unified diff