I run my local development server on port 8000 because my ISP blocks port 80. The problem is when using:

```
return HttpResponseRedirect(reverse('foobar'))

```

Django (for some reason) truncates the port from the URL - but it has no problem resolving it in the context of template tags e.g.: {% url foobar %}.

Since I'm attempting to reduce the number of manual changes required to deploy to our production server, I'd like to avoid hardcoding the url.