From 68a750fc7a042cf89af960c5a7d0a61e774893b1 Mon Sep 17 00:00:00 2001 From: YuviPanda Date: Wed, 30 Mar 2016 19:04:57 -0700 Subject: [PATCH] Use 'Integer' rather than 'Int' for config traitlet --- jupyterhub/app.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/jupyterhub/app.py b/jupyterhub/app.py index cd0dc775..f4089564 100644 --- a/jupyterhub/app.py +++ b/jupyterhub/app.py @@ -453,7 +453,7 @@ class JupyterHub(Application): help="Host to send statds metrics to" ).tag(config=True) - statsd_port = Int( + statsd_port = Integer( 8125, help="Port on which to send statsd metrics about the hub" ).tag(config=True)