From 5051269fc29ac62eba17704e361cefba778ff85f Mon Sep 17 00:00:00 2001
From: Henri Sara <henri.sara@itmill.com>
Date: Wed, 7 Jul 2010 09:24:16 +0000
Subject: [PATCH] #5293 WidgetsetBuilder should create directories if necessary

svn changeset:14124/svn branch:6.4
---
 .../terminal/gwt/widgetsetutils/WidgetSetBuilder.java     | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/src/com/vaadin/terminal/gwt/widgetsetutils/WidgetSetBuilder.java b/src/com/vaadin/terminal/gwt/widgetsetutils/WidgetSetBuilder.java
index 4b8ad76888..0609d94dc0 100644
--- a/src/com/vaadin/terminal/gwt/widgetsetutils/WidgetSetBuilder.java
+++ b/src/com/vaadin/terminal/gwt/widgetsetutils/WidgetSetBuilder.java
@@ -60,6 +60,14 @@ public class WidgetSetBuilder {
         File widgetsetFile = new File(widgetsetfilename);
         if (!widgetsetFile.exists()) {
             // create empty gwt module file
+            File parent = widgetsetFile.getParentFile();
+            if (parent != null && !parent.exists()) {
+                if (!parent.mkdirs()) {
+                    throw new IOException(
+                            "Could not create directory for the widgetset: "
+                                    + parent.getCanonicalPath());
+                }
+            }
             widgetsetFile.createNewFile();
             PrintStream printStream = new PrintStream(new FileOutputStream(
                     widgetsetFile));
-- 
2.39.5