fixed url_for return without port when port is not the standard port.

cps/web.py

@@ -250,7 +250,7 @@ class Pagination(object):
 def url_for_other_page(page):
     args = request.view_args.copy()
     args['page'] = page
-    return url_for(request.endpoint, **args)
+    return url_for(request.endpoint, _external=True, **args)
 
 
 app.jinja_env.globals['url_for_other_page'] = url_for_other_page