From 309f152dc35756f7fc1008ecf8e1d4d687a44633 Mon Sep 17 00:00:00 2001 From: malc Date: Sat, 25 May 2013 16:18:33 +0400 Subject: [PATCH] Printing empty string is probably pointless --- main.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/main.ml b/main.ml index 085f4d5..5049e77 100644 --- a/main.ml +++ b/main.ml @@ -635,7 +635,7 @@ let gotouri uri = else ( let url = geturl uri in if String.length url = 0 - then print_endline uri + then Printf.eprintf "obtained empty url from uri %S" uri else let re = Str.regexp "%s" in let command = Str.global_replace re url conf.urilauncher in -- 2.11.4.GIT