# HG changeset patch
# User Edouard Tisserant
# Date 1339777737 -7200
# Node ID 73dcd03f53bb280879c24bb4a8106ba50d00676c
# Parent  299a4e34538026318b5e32216385f28f66ba9a8f# Parent  8863b78144ee8ed108ae1d5b3b2b311b3e8ee014
merge

diff -r 299a4e345380 -r 73dcd03f53bb LPCManager.py
--- a/LPCManager.py	Fri Jun 15 18:28:47 2012 +0200
+++ b/LPCManager.py	Fri Jun 15 18:28:57 2012 +0200
@@ -1878,15 +1878,13 @@
             self.CTR._Build()
         
         def SetProjectProperties(self, projectname, productname, productversion, companyname):
-            properties = self.CTR.GetProjectProperties()
-            new_properties = properties.copy()
-            new_properties["projectName"] = projectname
-            new_properties["productName"] = productname
-            new_properties["productVersion"] = productversion
-            new_properties["companyName"] = companyname
-            if new_properties != properties:
-                self.CTR.SetProjectProperties(properties=new_properties, buffer=False)
-                self.RestartTimer()
+            new_properties = {
+                "projectName": projectname,
+                "productName": productname,
+                "productVersion": productversion,
+                "companyName": companyname}
+            self.CTR.SetProjectProperties(properties=new_properties, buffer=False)
+            self.RestartTimer()
         
         def SetOnlineMode(self, mode, path=None):
             self.CTR.SetOnlineMode(mode, path)