Ignoring wiki errors

luwrain · Mar 25, 2022 · 2d2cb9f · 2d2cb9f
1 parent ed816dd
commit 2d2cb9f
Showing 1 changed file with 9 additions and 1 deletion.
diff --git a/src/main/java/org/luwrain/app/wiki/App.java b/src/main/java/org/luwrain/app/wiki/App.java
@@ -27,7 +27,9 @@
 
 public final class App extends AppBase<Strings> implements MonoApp
 {
- static private final String SETTINGS_PATH = "/org/luwrain/app/wiki";
+ static private final String
+ LOG_COMPONENT = "wiki",
+ SETTINGS_PATH = "/org/luwrain/app/wiki";
 
  private final Gson gson = new Gson();
  private Settings sett = null;
@@ -82,7 +84,13 @@ boolean search(String query)
  for(Server s: servers)
  {
  final Mediawiki m = new Mediawiki(s.searchUrl);
+ try {
  res.addAll(Arrays.asList(m.search(query)));
+ }
+ catch(Exception e)
+ {
+ Log.error(LOG_COMPONENT, "unable to fetch wiki pages from " + s.searchUrl);
+ }
  }
  finishedTask(taskId, ()->{
  pages.clear();