diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/main.ml | 2 | ||||
| -rw-r--r-- | src/uitext.ml | 4 |
2 files changed, 3 insertions, 3 deletions
diff --git a/src/main.ml b/src/main.ml index 2286e99..9d11f1c 100644 --- a/src/main.ml +++ b/src/main.ml @@ -90,7 +90,7 @@ let socket = (fun _ -> fun i -> (try Some(int_of_string i) - with Failure "int_of_string" -> + with Failure _ -> raise(Prefs.IllegalValue "-socket must be followed by a number"))) (function None -> [] | Some(i) -> [string_of_int i]) ;; diff --git a/src/uitext.ml b/src/uitext.ml index 6463c32..3706923 100644 --- a/src/uitext.ml +++ b/src/uitext.ml @@ -798,8 +798,8 @@ let rec synchronizeUntilDone () = let repeatinterval = if Prefs.read Uicommon.repeat = "" then -1 else try int_of_string (Prefs.read Uicommon.repeat) - with Failure "int_of_string" -> - (* If the 'repeat' pref is not a number, switch modes... *) + with Failure _ -> + (* If the 'repeat' pref is not a valid number, switch modes... *) if Prefs.read Uicommon.repeat = "watch" then synchronizePathsFromFilesystemWatcher() else |