From 77632583996c8cc673360ea77fc86d5fc14db462 Mon Sep 17 00:00:00 2001
From: Matti Tahvonen <matti.tahvonen@itmill.com>
Date: Thu, 15 Oct 2009 12:34:28 +0000
Subject: [PATCH] avoid rewriting gwt module if changes did not happen

svn changeset:9211/svn branch:6.2
---
 .../terminal/gwt/widgetsetutils/WidgetSetBuilder.java     | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/src/com/vaadin/terminal/gwt/widgetsetutils/WidgetSetBuilder.java b/src/com/vaadin/terminal/gwt/widgetsetutils/WidgetSetBuilder.java
index c2c888c4bb..13516a73c2 100644
--- a/src/com/vaadin/terminal/gwt/widgetsetutils/WidgetSetBuilder.java
+++ b/src/com/vaadin/terminal/gwt/widgetsetutils/WidgetSetBuilder.java
@@ -34,6 +34,7 @@ public class WidgetSetBuilder {
 
     public static void updateWidgetSet(final String widgetset, String sourcepath)
             throws IOException, FileNotFoundException {
+        boolean changed = false;
         String widgetsetfilename = sourcepath + "/"
                 + widgetset.replace(".", "/") + ".gwt.xml";
         File widgetsetFile = new File(widgetsetfilename);
@@ -44,9 +45,11 @@ public class WidgetSetBuilder {
                     widgetsetFile));
             printStream.print("<module>\n\n</module>\n");
             printStream.close();
+            changed = true;
         }
 
         String content = readFile(widgetsetFile);
+        String originalContent = content;
 
         Collection<String> oldInheritedWidgetsets = getCurrentWidgetSets(content);
 
@@ -71,7 +74,10 @@ public class WidgetSetBuilder {
             }
         }
 
-        commitChanges(widgetsetfilename, content);
+        changed = changed ? true : content.equals(originalContent);
+        if (changed) {
+            commitChanges(widgetsetfilename, content);
+        }
     }
 
     private static String removeWidgetSet(String ws, String content) {
-- 
2.39.5