possible gevent bug

dns_bug.py

import time
import gevent
import gevent.socket

def sleep():
	with gevent.Timeout(2):
		gevent.sleep(1)
		print 'after sleep'

def resolve():
	with gevent.Timeout(2):
		print 'google:', gevent.socket.gethostbyname('google.com')
	
sleep()
print 'now stalling loop'
time.sleep(3)
sleep()
resolve()
print 'now stalling loop'
time.sleep(3)
resolve()