Merge pull request #101 from rpedroso/anyserver-eventlet

monkey patch eventlet
2013-06-06 08:33:36 -07:00
parent a302d52698 4e8dbffd0e
commit 8829780def
1 changed files with 3 additions and 0 deletions
@@ -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