From b63d29d0273dc31de72dd8b259afd6088928a04b Mon Sep 17 00:00:00 2001 From: malc Date: Thu, 15 Jan 2015 00:31:17 +0300 Subject: [PATCH] Better handling passwordless case Two separate cases: a. No askpass program b. askpass returning empty string Needs more thought. --- main.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/main.ml b/main.ml index 4486afe..9640741 100644 --- a/main.ml +++ b/main.ml @@ -2013,7 +2013,7 @@ let act cmds = then Wsi.settitle "Wrong password"; let password = getpassword () in if password == E.s - then raise Quit + then error "document is password protected" else opendoc state.path password | _ -> -- 2.11.4.GIT