From 59be79a81e5f6f0f9553e668754567b8c68b8db1 Mon Sep 17 00:00:00 2001 From: Dulma Churchill Date: Thu, 14 Sep 2017 04:42:15 -0700 Subject: [PATCH] [linters] Improve the linters-doc-url flag, by splitting the url from the left, so we allow urls with colons Reviewed By: jvillard Differential Revision: D5833131 fbshipit-source-id: 28b7698 --- infer/src/base/Config.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/infer/src/base/Config.ml b/infer/src/base/Config.ml index 9e857c96b..b907adb4c 100644 --- a/infer/src/base/Config.ml +++ b/infer/src/base/Config.ml @@ -1886,7 +1886,7 @@ type linter_doc_url = {linter: string; doc_url: string} let process_linters_doc_url args = let linters_doc_url arg = - match String.rsplit2 ~on:':' arg with + match String.lsplit2 ~on:':' arg with | Some (linter, doc_url) -> {linter; doc_url} | None