From 4e8dbffd0eb6ad9759ebd141f7995d6f924e4b31 Mon Sep 17 00:00:00 2001
From: Ricardo Pedroso <rmdpedroso@gmail.com>
Date: Tue, 4 Jun 2013 00:28:54 +0100
Subject: [PATCH] monkey patch eventlet

---
 anyserver.py | 3 +++
 1 file changed, 3 insertions(+)

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