Download file?

The example source code shows how to display an image that was downloaded to the client (browser) but how would I allow the user to download the (binary, not an image) file that gets sent from the server to the browser?