Changeset 12765 for branches/HiveStatistics/sources/HeuristicLab.Services.WebApp/3.3/PluginManager.cs

Timestamp:

07/16/15 11:50:41 (9 years ago)

Author:

dglaser

Message:

#2388:

HeuristicLab.Services.WebApp-3.3:

• Fixed a bug which caused the PluginManager to not reload an existing plugin
• Changed Path.PathSeparator to Path.DirectorySeparatorChar

HeuristicLab.Services.Hive-3.3:

• HiveStatisticsGenerator.cs: When moving a client to another group is now recognized properly
• Fixed the 'unknown user' problem

Installers/HiveJanitorServiceInstaller.nsi:

• Added HeuristicLab.Services.Access.DataAccess.dll

File:

• branches/HiveStatistics/sources/HeuristicLab.Services.WebApp/3.3/PluginManager.cs (modified) (2 diffs)

branches/HiveStatistics/sources/HeuristicLab.Services.WebApp/3.3/PluginManager.cs

@@ -60 +60 @@
     private void OnFilesChanged(object sender, FileSystemEventArgs args) {
       string path = args.FullPath.Remove(0, PluginsDirectory.Length + 1);
-      var pathParts = path.Split(Path.PathSeparator);
+      var pathParts = path.Split(Path.DirectorySeparatorChar);
       string pluginName = pathParts[0];
-      if (pathParts.Length == 1) {
+      if (pathParts.Length <= 2) {
         switch (args.ChangeType) {
           case WatcherChangeTypes.Created:
@@ -75 +75 @@
             RenamedEventArgs renamedArgs = (RenamedEventArgs)args;
             string oldPath = renamedArgs.OldFullPath.Remove(0, PluginsDirectory.Length + 1);
-            var oldPathParts = oldPath.Split(Path.PathSeparator);
+            var oldPathParts = oldPath.Split(Path.DirectorySeparatorChar);
             string oldPluginName = oldPathParts[0];
             plugins.Remove(oldPluginName);