Flask routes drop the port number

[scottkleinman]

All the routes appear to have form like /corpus and /corpus/create. These seem to drop the port number on the server when Flask adds the trailing slash. A possibly remedy is to add the trailing slash, but lots of Ajax functions use Flask routes, so this would be a big enterprise. It might be more logical to change the proxy.