diff --git a/anyserver.py b/anyserver.py
index dc0263b1..4ec14b28 100644
--- a/anyserver.py
+++ b/anyserver.py
@@ -180,6 +180,9 @@ def run(servername, ip, port, softcron=True, logging=False, profiler=None):
     if servername == 'gevent':
         from gevent import monkey
         monkey.patch_all()
+    elif servername == 'eventlet':
+        import eventlet
+        eventlet.monkey_patch()
 
     import gluon.main