From 4e41cc3db3e39f9ebb110f8c322db37c741751df Mon Sep 17 00:00:00 2001
From: David Molineus <david.molineus@netzmacht.de>
Date: Tue, 6 Jan 2015 15:43:29 +0100
Subject: [PATCH] Set json flag.

---
 module/config/services.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/module/config/services.php b/module/config/services.php
index 53b6046..c71dc94 100644
--- a/module/config/services.php
+++ b/module/config/services.php
@@ -64,7 +64,7 @@ $container['leaflet.definition.builder'] = $container->share(function($container
     $boot       = $container['leaflet.boot'];
     $dispatcher = $container['leaflet.definition.builder.event-dispatcher'];
 
-    $encoder = new Encoder($dispatcher);
+    $encoder = new Encoder($dispatcher, JSON_UNESCAPED_SLASHES);
     $builder = new Builder($encoder, $dispatcher);
     $leaflet = new Leaflet($builder);