Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/mono/monodevelop.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTodd Grunke <toddgrun@microsoft.com>2018-01-26 16:58:41 +0300
committerMarius Ungureanu <teromario@yahoo.com>2018-01-26 16:58:41 +0300
commit5723a660f79655c77682456205ea95d7f6407b17 (patch)
tree22adc77ec8946e5df95c10ffa534bfc838bbd411 /main/src/core/MonoDevelop.Core/MonoDevelop.Projects.MSBuild/RemoteBuildEngineManager.cs
parent99418b20237e2e9ce9290691b41cd77fdbf542fb (diff)
Get rid of some exceptions that occur during project open (#3737)
* Get rid of some exceptions that occur during project open * Revert removal of exception due to Process.GetProcessById call as the fix was a little bit slower.
Diffstat (limited to 'main/src/core/MonoDevelop.Core/MonoDevelop.Projects.MSBuild/RemoteBuildEngineManager.cs')
-rw-r--r--main/src/core/MonoDevelop.Core/MonoDevelop.Projects.MSBuild/RemoteBuildEngineManager.cs10
1 files changed, 5 insertions, 5 deletions
diff --git a/main/src/core/MonoDevelop.Core/MonoDevelop.Projects.MSBuild/RemoteBuildEngineManager.cs b/main/src/core/MonoDevelop.Core/MonoDevelop.Projects.MSBuild/RemoteBuildEngineManager.cs
index ea8f0b4273..c9373afb86 100644
--- a/main/src/core/MonoDevelop.Core/MonoDevelop.Projects.MSBuild/RemoteBuildEngineManager.cs
+++ b/main/src/core/MonoDevelop.Core/MonoDevelop.Projects.MSBuild/RemoteBuildEngineManager.cs
@@ -1,4 +1,4 @@
-//
+//
// RemoteBuildEngineManager.cs
//
// Author:
@@ -609,12 +609,12 @@ namespace MonoDevelop.Projects.MSBuild
spid = spid.Substring (0, i);
int pid;
if (int.TryParse (Path.GetFileName (spid), out pid)) {
- try {
- // If there is a process running with this id it means the builder is still being used
- if (Process.GetProcessById (pid) != null)
+ try {
+ // If there is a process running with this id it means the builder is still being used
+ if (Process.GetProcessById (pid) != null)
continue;
} catch {
- // Ignore
+ // Ignore
}
// No process for this id, it should be safe to delete the folder
try {