diff options
Diffstat (limited to 'jetty-plugins/src/main/java/org/eclipse/jetty/plugins/DefaultPluginManager.java')
-rw-r--r-- | jetty-plugins/src/main/java/org/eclipse/jetty/plugins/DefaultPluginManager.java | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/jetty-plugins/src/main/java/org/eclipse/jetty/plugins/DefaultPluginManager.java b/jetty-plugins/src/main/java/org/eclipse/jetty/plugins/DefaultPluginManager.java index bcf0ac038a..9203a6f0f4 100644 --- a/jetty-plugins/src/main/java/org/eclipse/jetty/plugins/DefaultPluginManager.java +++ b/jetty-plugins/src/main/java/org/eclipse/jetty/plugins/DefaultPluginManager.java @@ -89,7 +89,8 @@ public class DefaultPluginManager implements PluginManager if (zipEntry.isDirectory()) { // if its a directory, create it - f.mkdir(); // TODO: check the result: what if the directory cannot be created ? + if(!f.mkdir()) // TODO: what if the directory cannot be created? + System.out.println("Can't create directory: " + f); return; } |