Make sure port is a simple string (again)

The redis token plugin also needs to make sure the port string isn't
unicode for compatibility with Python 2.x.

websockify/token_plugins.py

@@ -155,5 +155,6 @@ class TokenRedis(object):
             return None
         else:
             combo = simplejson.loads(stuff.decode("utf-8"))
-            pair = combo["host"]
-            return pair.split(':')
+            (host, port) = combo["host"].split(':')
+            port = port.encode('ascii','ignore')
+            return [ host, port ]