commit d75202f886d8fdba9f7f75540178b7168b1d3b7b
author Sven Selberg <svense@axis.com> Fri Apr 07 10:26:24 2017 +0200
committer Sven Selberg <sven.selberg@axis.com> Fri Apr 07 08:38:01 2017 +0000
tree 15e5f6fde949876005e3d3cc6ccb306badc306ba
parent 47248a39138b9b7fc5a6e932ea1a6a98ad72bcaa

PluginLoader: check if plugin list is empty after filter

721ac978a986de0f322528cd6c6f70389aedf1f7 removed the check if the list
of plugins is empty after filtering on file extension ".js".

Change-Id: I450fbf4cf22d8b8f29d2cf35703620dd963eba70

gerrit-gwtui/src/main/java/com/google/gerrit/client/api/PluginLoader.java

diff --git a/gerrit-gwtui/src/main/java/com/google/gerrit/client/api/PluginLoader.java b/gerrit-gwtui/src/main/java/com/google/gerrit/client/api/PluginLoader.java
index 845599d..8a479dd 100644
--- a/gerrit-gwtui/src/main/java/com/google/gerrit/client/api/PluginLoader.java
+++ b/gerrit-gwtui/src/main/java/com/google/gerrit/client/api/PluginLoader.java
@@ -40,10 +40,14 @@
       callback.onSuccess(VoidResult.create());
     } else {
       plugins = plugins.stream().filter(p -> p.endsWith(".js")).collect(Collectors.toList());
-      self = new PluginLoader(loadTimeout, callback);
-      self.load(plugins);
-      self.startTimers();
-      self.center();
+      if (plugins.isEmpty()) {
+        callback.onSuccess(VoidResult.create());
+      } else {
+        self = new PluginLoader(loadTimeout, callback);
+        self.load(plugins);
+        self.startTimers();
+        self.center();
+      }
     }
   }