From 3fef754b666e07d4c220750e61eebdc31d516df3 Mon Sep 17 00:00:00 2001
From: Daniel Mercier <mercier@adacore.com>
Date: Thu, 18 Apr 2019 06:57:44 -0700
Subject: [PATCH] [infer][PR] Escape double quotes in urls

Summary: Pull Request resolved: https://github.com/facebook/infer/pull/1088

Differential Revision: D14996018

Pulled By: mbouaziz

fbshipit-source-id: 765e41a22
---
 infer/src/istd/Escape.ml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/infer/src/istd/Escape.ml b/infer/src/istd/Escape.ml
index d2089149f..6aae3a8ac 100644
--- a/infer/src/istd/Escape.ml
+++ b/infer/src/istd/Escape.ml
@@ -61,6 +61,8 @@ let escape_url s =
   let map = function
     | '!' ->
         Some "%21"
+    | '"' ->
+        Some "%22"
     | '#' ->
         Some "%23"
     | '$' ->