Description: Fix extensions installation in user space
Author: Gilles Filippini <pini@debian.org>
Index: sikuli/sikuli-script/src/main/java/org/sikuli/script/ExtensionManager.java
===================================================================
--- sikuli.orig/sikuli-script/src/main/java/org/sikuli/script/ExtensionManager.java	2011-09-22 23:37:18.000000000 +0200
+++ sikuli/sikuli-script/src/main/java/org/sikuli/script/ExtensionManager.java	2011-09-26 11:52:00.000000000 +0200
@@ -132,13 +132,14 @@
          File targetFile = new File(extPath, extName);
          if(targetFile.exists())
             targetFile.delete();
-         if( !localFile.renameTo(targetFile) ){
+         Runtime.getRuntime().exec("mv " + localFile.getAbsolutePath() + " " + targetFile.getAbsolutePath()).waitFor();
+         if( !targetFile.exists() ){
             Debug.error("Failed to install " + localFile.getName() + " to " + targetFile.getAbsolutePath());
             return false;
          }
          addExtension(name, url_, version_);
       }
-      catch(IOException e){
+      catch(Exception e){
          Debug.error("Failed to download " + url_);
          e.printStackTrace();
          return false;
