From 12bbffbdd5bbfe9d11b8ebbe0a9a3fe1186854fe Mon Sep 17 00:00:00 2001
From: malc <av1474@comtv.ru>
Date: Sat, 25 May 2013 16:25:58 +0400
Subject: [PATCH] Change the way remote target path is processed

---
 main.ml | 16 ++++++++--------
 1 file changed, 8 insertions(+), 8 deletions(-)

diff --git a/main.ml b/main.ml
index 5049e77..d4463c1 100644
--- a/main.ml
+++ b/main.ml
@@ -4917,14 +4917,14 @@ let gotounder = function
 
   | Uremote (filename, pageno) ->
       let path =
-        if Sys.file_exists filename
-        then filename
-        else
-          let dir = Filename.dirname state.path in
-          let path = Filename.concat dir filename in
-          if Sys.file_exists path
-          then path
-          else ""
+        if String.length filename > 0
+        then
+          if Filename.is_relative filename
+          then
+            let dir = Filename.dirname state.path in
+            Filename.concat dir filename
+          else filename
+        else ""
       in
       if String.length path > 0
       then (
-- 
2.11.4.GIT