From c24b3f6489a746908d0506d5af0b74ae4358539f Mon Sep 17 00:00:00 2001
From: Cristian Maglie <c.maglie@bug.st>
Date: Fri, 12 Jul 2013 16:22:39 +0200
Subject: [PATCH] IDE didn't stop if an invalid library is found

---
 app/src/processing/app/Base.java | 13 +++++++++----
 1 file changed, 9 insertions(+), 4 deletions(-)

diff --git a/app/src/processing/app/Base.java b/app/src/processing/app/Base.java
index 72eae3f18..d2be82822 100644
--- a/app/src/processing/app/Base.java
+++ b/app/src/processing/app/Base.java
@@ -1169,10 +1169,15 @@ public class Base {
         continue;
       }
 
-      Library lib = Library.create(subfolder);
-      // (also replace previously found libs with the same name) 
-      if (lib != null)
-        res.addOrReplace(lib);
+      try {
+        Library lib = Library.create(subfolder);
+        // (also replace previously found libs with the same name)
+        if (lib != null)
+          res.addOrReplace(lib);
+      } catch (IOException e) {
+        System.out.println(I18n.format(_("Invalid library found in {0}: {1}"),
+                                       subfolder, e.getMessage()));
+      }
     }
     return res;
   }