match download url with
| Success file -> process file
| Network_error msg -> alert msg
| Aborted_by_user -> ()