From 5d577c24c704b0da22044f69ff812a6f3b881241 Mon Sep 17 00:00:00 2001
From: Marc Englund <marc@vaadin.com>
Date: Fri, 13 Apr 2012 09:04:23 +0300
Subject: [PATCH] Double was encoded as float, fixed. #8657

---
 src/com/vaadin/terminal/gwt/server/JsonCodec.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/com/vaadin/terminal/gwt/server/JsonCodec.java b/src/com/vaadin/terminal/gwt/server/JsonCodec.java
index 15be2673ba..304267d4b9 100644
--- a/src/com/vaadin/terminal/gwt/server/JsonCodec.java
+++ b/src/com/vaadin/terminal/gwt/server/JsonCodec.java
@@ -46,7 +46,7 @@ public class JsonCodec implements Serializable {
         registerType(Float.class, JsonEncoder.VTYPE_FLOAT);
         registerType(float.class, JsonEncoder.VTYPE_FLOAT);
         registerType(Double.class, JsonEncoder.VTYPE_DOUBLE);
-        registerType(double.class, JsonEncoder.VTYPE_FLOAT);
+        registerType(double.class, JsonEncoder.VTYPE_DOUBLE);
         registerType(Long.class, JsonEncoder.VTYPE_LONG);
         registerType(long.class, JsonEncoder.VTYPE_LONG);
         // transported as string representation
-- 
2.39.5