From a711ef54ca24471a9e541c645e19426488414213 Mon Sep 17 00:00:00 2001
From: malc <av1474@comtv.ru>
Date: Sat, 25 May 2013 17:58:05 +0400
Subject: [PATCH] Safety net

---
 main.ml | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/main.ml b/main.ml
index d4463c1..4250e7a 100644
--- a/main.ml
+++ b/main.ml
@@ -4926,6 +4926,11 @@ let gotounder = function
           else filename
         else ""
       in
+      let path =
+        if Sys.file_exists path
+        then path
+        else ""
+      in
       if String.length path > 0
       then (
         if conf.riani
-- 
2.11.4.GIT