Little tweak for smooth rename.

pskopek · pskopek · commit 710822adc30c · 2012-01-11T19:56:38.000+01:00
diff --git a/script/securejboss.groovy b/script/securejboss.groovy
@@ -342,8 +342,10 @@ def comment(String file, String line1, String line2, String commentBegin, String
 
     }
 
-    if (Const.MODIFY_FILES)
+    if (Const.MODIFY_FILES) {
+        f.delete()
         r.renameTo(f)
+    }
 
 }
 

Original file line number	Diff line number	Diff line change
`@@ -342,8 +342,10 @@ def comment(String file, String line1, String line2, String commentBegin, String`
`342`	`342`
`343`	`343`	`}`
`344`	`344`
`345`		`- if (Const.MODIFY_FILES)`
	`345`	`+ if (Const.MODIFY_FILES) {`
	`346`	`+ f.delete()`
`346`	`347`	`r.renameTo(f)`
	`348`	`+ }`
`347`	`349`
`348`	`350`	`}`
`349`	`351`