From 584d96274496a669e939301578a5f0b1f9bc8db0 Mon Sep 17 00:00:00 2001
From: whtsky <whtsky@gmail.com>
Date: Fri, 14 Feb 2014 21:41:18 +0800
Subject: [PATCH] Change server to gevent in docs

---
 docs/deploy.rst | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/deploy.rst b/docs/deploy.rst
index 55663e5f..5585f4e0 100644
--- a/docs/deploy.rst
+++ b/docs/deploy.rst
@@ -13,7 +13,7 @@
     def echo(message):
         return 'Hello World!'
 
-    robot.run(server='tornado')
+    robot.run(server='gevent')
 
 server 支持以下几种：