plint

commit 24b5e62cfacc2ac1f8eec553a92b64b77e560a03
parent f3da9df8f7bc3d43ee2ec850100fd90fabe6d88f
Author: Antoine Amarilli <a3nm@a3nm.net>
Date:   Wed, 14 Mar 2012 23:43:30 +0100

use cherrypy

Diffstat:
plint_web.py
 | 
2
+-

1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/plint_web.py b/plint_web.py
@@ -98,5 +98,5 @@ def q():
   return env.get_template('results.html').render(**d)
 
 if __name__ == '__main__':
-  run(app, host='0.0.0.0', port='5000')
+  run(app, port='5000', server="cherrypy", host="0.0.0.0")