From 2ee6199ce97447fdb03228a1034ccf5ca605242a Mon Sep 17 00:00:00 2001
From: Piotr Gawron <piotr.gawron@uni.lu>
Date: Wed, 23 Nov 2016 15:32:53 +0100
Subject: [PATCH] force map model id to be integer

---
 frontend-js/src/main/js/map/data/MapModel.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/frontend-js/src/main/js/map/data/MapModel.js b/frontend-js/src/main/js/map/data/MapModel.js
index c90a050964..2790e5a58b 100644
--- a/frontend-js/src/main/js/map/data/MapModel.js
+++ b/frontend-js/src/main/js/map/data/MapModel.js
@@ -357,7 +357,7 @@ MapModel.prototype.getId = function() {
 };
 
 MapModel.prototype.setId = function(id) {
-  this.id = id;
+  this.id = parseInt(id);
 };
 
 MapModel.prototype.getWidth = function() {
-- 
GitLab