Safe delete old project file

SlavaRa · SlavaRa · commit 872f231391ac · 2016-01-29T00:57:17.000+03:00
diff --git a/External/Plugins/ProjectManager/PluginUI.cs b/External/Plugins/ProjectManager/PluginUI.cs
@@ -239,7 +239,14 @@ private void tree_AfterLabelEdit(Object sender, NodeLabelEditEventArgs e)
                     if (Rename(oldName, newName))
                     {
                         PluginBase.MainForm.OpenEditableDocument(newName);
-                        File.Delete(oldName);
+                        try
+                        {
+                            File.Delete(oldName);
+                        }
+                        catch (Exception)
+                        {
+                            // ignored
+                        }
                     }
                     else e.CancelEdit = true;
                 }

Original file line number	Diff line number	Diff line change
`@@ -239,7 +239,14 @@ private void tree_AfterLabelEdit(Object sender, NodeLabelEditEventArgs e)`
`239`	`239`	`if (Rename(oldName, newName))`
`240`	`240`	`{`
`241`	`241`	`PluginBase.MainForm.OpenEditableDocument(newName);`
`242`		`- File.Delete(oldName);`
	`242`	`+ try`
	`243`	`+ {`
	`244`	`+ File.Delete(oldName);`
	`245`	`+ }`
	`246`	`+ catch (Exception)`
	`247`	`+ {`
	`248`	`+ // ignored`
	`249`	`+ }`
`243`	`250`	`}`
`244`	`251`	`else e.CancelEdit = true;`
`245`	`252`	`}`