0001-WebBrowser-try-xdg-open-if-desktop.browse-fails.patch

From ef8471abdda92d5f8418b2325014b96091c58bcf Mon Sep 17 00:00:00 2001
From: Martin Wilck <martin_wilck@gmx.de>
Date: Sat, 9 Apr 2022 21:40:11 +0200
Subject: [PATCH] WebBrowser: try xdg-open if desktop.browse fails

---
 src/main/org/audiveris/omr/ui/util/WebBrowser.java | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/src/main/org/audiveris/omr/ui/util/WebBrowser.java b/src/main/org/audiveris/omr/ui/util/WebBrowser.java
index b309a61f0..856c4d447 100644
--- a/src/main/org/audiveris/omr/ui/util/WebBrowser.java
+++ b/src/main/org/audiveris/omr/ui/util/WebBrowser.java
@@ -97,6 +97,18 @@ public class WebBrowser
                 desktop.browse(uri);
             } catch (IOException ex) {
                 logger.warn("Could not launch browser " + uri, ex);
+            } catch (UnsupportedOperationException ex) {
+                logger.info("desktop.BROWSE unsupported, trying xdg-open " + uri);
+                try {
+                    Process p = Runtime.getRuntime().exec(new String[] {
+                            "xdg-open", uri.toString()
+                        });
+                    p.waitFor();
+                } catch (IOException exc) {
+                    logger.warn("Could not launch browser using xdg-open" + uri, exc);
+                } catch (InterruptedException exc) {
+                    logger.warn("Interrupted while waiting for xdg-open" + uri, exc);
+                }
             }
         } else {
             // Delegate to BareBonesBrowserLaunch-like code
-- 
2.34.1