From 2feb53112ee3130617624a5b749b2376fb1d364a Mon Sep 17 00:00:00 2001
From: Angel Ortega <angel@venexma.es>
Date: Fri, 4 Apr 2008 09:46:41 +0200
Subject: [PATCH] Fixed double backslash parsing in strings (Closes: #1117).

---
 TODO   | 2 ++
 mpsl.l | 1 +
 2 files changed, 3 insertions(+)

diff --git a/TODO b/TODO
index 8b1d0ec..da2db3b 100644
--- a/TODO
+++ b/TODO
@@ -184,5 +184,7 @@ Closed
    (Wed, 28 Nov 2007 09:49:00 +0100).
  * 1116: Changed foreach() to _always_ create the iterator variable
    as local (Wed, 02 Jan 2008 10:10:48 +0100).
+ * 1117: Double backslashes in strings fail
+   (Fri, 04 Apr 2008 09:46:15 +0200).
 
 Email bugs to angel@triptico.com
diff --git a/mpsl.l b/mpsl.l
index ea7f780..9d3f4d5 100644
--- a/mpsl.l
+++ b/mpsl.l
@@ -202,6 +202,7 @@ INTEGER		({DECINTEGER}|{OCTINTEGER}|{HEXINTEGER})
 <STR>\\r	{ ds_poke(ds_v, L'\r'); }
 <STR>\\e	{ ds_poke(ds_v, 27); }
 <STR>\\\"	{ ds_poke(ds_v, L'\"'); }
+<STR>\\\\	{ ds_poke(ds_v, L'\\'); }
 <STR>\"\\\n[ \t]+\"	;
 <STR>\"		{
 			ds_poke(ds_v, L'\0');
-- 
2.11.4.GIT