From d0e33fd8440481c1b5941c13ff889f05b4443eaa Mon Sep 17 00:00:00 2001
From: pesckal <pkalauskas@gmail.com>
Date: Sun, 10 Jul 2011 13:28:22 +0000
Subject: [PATCH] Better warning message for when error occurs downloading
 file.

---
 app/src/processing/app/FileDownloader.java | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/app/src/processing/app/FileDownloader.java b/app/src/processing/app/FileDownloader.java
index 7be89b75e..6813c1cf0 100644
--- a/app/src/processing/app/FileDownloader.java
+++ b/app/src/processing/app/FileDownloader.java
@@ -77,6 +77,9 @@ public class FileDownloader implements Runnable {
       if (downloadFile(url, dest, progressMonitor)) {
         libFile = dest;
       }
+    } catch (FileNotFoundException e) {
+      Base.showWarning("Trouble downloading file",
+                       "The file was not found on the server.\n", null);
     } catch (IOException e) {
       Base.showWarning("Trouble downloading file",
                        "An error occured while downloading the file:\n"