look in /opt/jdk1.6.0_22/bin:/usr/lib/jvm/java-6-sun//bin:.:/home/grothoff/bin:/usr/local/bin:/usr/bin:/bin:/usr/local/games:/usr/games for gnunet-arm before trying /proc/exe

1 files changed, 3 insertions, 0 deletions

diff --git a/src/util/os_installation.c b/src/util/os_installation.c
index 674e47a5f..e35f86c3e 100644
--- a/src/util/os_installation.c
+++ b/src/util/os_installation.c
@@ -396,6 +396,9 @@ os_get_gnunet_path ()
 #if LINUX
   if (NULL != (ret = get_path_from_proc_maps ()))
     return ret;
+  /* try path *first*, before /proc/exe, as /proc/exe can be wrong */
+  if (NULL != (ret = get_path_from_PATH ("gnunet-arm")))
+    return ret;
   if (NULL != (ret = get_path_from_proc_exe ()))
     return ret;
 #endif