plint

commit e32dbdddad9695e30160ef4fbb0cac490fdadf1b
parent 22269370a083a54106b11bd7610368c596f844a1
Author: Antoine Amarilli <a3nm@a3nm.net>
Date:   Wed, 14 Mar 2012 12:36:42 +0100

serve with the bottle dev server since nothing else seems to work...

Diffstat:
plint_web.py
 | 
2
+-

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