Look for octave-pserver executable in /usr/libexec

Forwarded: not-needed
Last-Update: 2023-09-16

This is a Debian-specific patch.

Gbp-Pq: Name pserver-path.patch

1 files changed, 7 insertions, 0 deletions

diff --git a/inst/pserver.m b/inst/pserver.m
index f3028c1..f42bd8a 100644
--- a/inst/pserver.m
+++ b/inst/pserver.m
@@ -170,6 +170,13 @@ function fpath = get_server_binary ()
 
     fpath = tp;
 
+  elseif (__isfile__ (tp = fullfile ("/usr/libexec", 
+                                     fname)))
+
+    ## Debian specific: installed in /usr/libexec
+
+    fpath = tp;
+
   elseif (! isempty (tp = search_path (fname)))
 
     ## in Octaves search path