From 9f84ae1d64be84bc2d78c365ff19f4c8c2eac1db Mon Sep 17 00:00:00 2001
From: Cristian Maglie <c.maglie@bug.st>
Date: Fri, 28 Jun 2013 09:50:51 +0200
Subject: [PATCH] Workaround for IDE crash when uploading on Leonardo (and
 derivatives) on Linux

---
 app/src/cc/arduino/packages/uploaders/SerialUploader.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/app/src/cc/arduino/packages/uploaders/SerialUploader.java b/app/src/cc/arduino/packages/uploaders/SerialUploader.java
index 595214501..236ce2bb6 100644
--- a/app/src/cc/arduino/packages/uploaders/SerialUploader.java
+++ b/app/src/cc/arduino/packages/uploaders/SerialUploader.java
@@ -141,7 +141,7 @@ public class SerialUploader extends Uploader  {
           // sketch serial port reconnects (or timeout after a few seconds if the
           // sketch port never comes back). Doing this saves users from accidentally
           // opening Serial Monitor on the soon-to-be-orphaned bootloader port.
-          Thread.sleep(500);
+          Thread.sleep(1000);
           long timeout = System.currentTimeMillis() + 2000;
           while (timeout > System.currentTimeMillis()) {
             List<String> portList = Serial.list();